Proceedings: 16 - 20 June 2005, Shanghai, China
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Society
2005
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | XVII, 612 S. Ill., graph. Darst. |
| ISBN: | 076952284X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035992158 | ||
| 003 | DE-604 | ||
| 005 | 20100212 | ||
| 007 | t| | ||
| 008 | 100202s2005 xx ad|| |||| 10||| eng d | ||
| 020 | |a 076952284X |9 0-7695-2284-X | ||
| 035 | |a (OCoLC)61159187 | ||
| 035 | |a (DE-599)GBV495279412 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.9.S88 | |
| 084 | |a DAT 310f |2 stub | ||
| 111 | 2 | |a International Conference on Engineering of Complex Computer Systems |n 10 |d 2005 |c Schanghai |j Verfasser |0 (DE-588)6043929-4 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b 16 - 20 June 2005, Shanghai, China |c 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)... |
| 246 | 1 | 3 | |a ICECCS 2005 |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Society |c 2005 | |
| 300 | |a XVII, 612 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a System design |v Congresses | |
| 650 | 4 | |a Systems engineering |v Congresses | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a IEEE Computer Society |b Technical Committee on Complexity in Computing |e Sonstige |0 (DE-588)5241220-9 |4 oth | |
| 856 | 4 | |m DE-601 |q pdf/application |u http://www.gbv.de/dms/bowker/toc/9780769522845.pdf |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018884845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018884845 | |
Datensatz im Suchindex
| _version_ | 1820868159712788480 |
|---|---|
| adam_text |
IMAGE 1
SOFTWARE ENGINEERING APPROACHES TO SEMANTIC WEB
P. 2
MULTIMEDIA CONTENT DISTRIBUTION AND PROTECTION
P. 3
AN INTRODUCTION TO SELF-HEALING WEB SERVICES
P. 4
A FRAMEWORK FOR SOFL-BASED PROGRAM REVIEW
P. 6
AN INTRODUCTION TO THREE PERSPECTIVES ON FORMAL SPECIFICATION REVIEW P.
8
DESIGN OF A TOOL FOR SPECIFICATION-BASED PROGRAM REVIEW
P. 10
A FORMAL SPECIFICATION CONSTRUCTING TOOL FOR SOFL
P. 12
EXTENDING SOFL FEATURES FOR AOP MODELING
P. 14
EXTENDED SOFL FEATURES FOR THE MODELING OF MIDDLEWARE-BASED TRANSACTION
MANAGEMENT P. 16
TOOLS FOR AN EXTENDED OBJECT MODELLING ENVIRONMENT
P. 20
GRAMMAR-SPECIFIED MODEL-DRIVEN ARCHITECTURES
P. 24
A STRATEGY FOR COMPONENT-BASED MODELING AND REFINEMENT
P. 26
PRINCIPLES, STANDARDS AND TOOLS FOR MODEL ENGINEERING
P. 28
EVALUATING CONFORMANCE OF UML MODELS TO DESIGN PATTERNS
P. 30
SEQUENCING OPERATIONS AND CREATING OBJECTS
P. 33
MODELING DIVERSE AND COMPLEX INTERACTIONS ENABLED BY MIDDLEWARE AS
CONNECTORS IN SOFTWARE ARCHITECTURES
P. 37
SECURE SOFTWARE ARCHITECTURES DESIGN BY ASPECT ORIENTATION
P. 47
MODELING ARCHITECTURE BASED DEVELOPMENT IN UML
P. 56
ANALYSIS AND VERIFICATION OF THE INTERACTION MODEL IN SOFTWARE DESIGN P.
67
FORMAL VERIFICATION OF CONCURRENT AND DISTRIBUTED CONSTRAINT-BASED JAVA
PROGRAMS P. 76
DETECTING MALICIOUS JAVASCRIPT CODE IN MOZILLA
P. 85
EXTRACTING FSMS FROM OBJECT-Z SPECIFICATIONS WITH HISTORY INVARIANTS P.
96
FORMAL METHODS TO GENERATE PARALLEL ITERATIVE CODES FOR PDE-BASED
APPLICATIONS P. 106
FORMAL REQUIREMENTS-BASED PROGRAMMING FOR COMPLEX SYSTEMS
P. 116
RINGED PETERSEN SPHERES CONNECTED HYPERCUBE INTERCONNECTION NETWORKS P.
127
A GENERAL MODEL FOR NON-MARKOVIAN STOCHASTIC DECISION DISCRETE-EVENT
SYSTEMS P. 132
INTELLIGENT FAILURE PREDICTION WITH HYBRID NEURAL ROUGH NETS IN COMPLEX
TELECOMMUNICATION NETWORKS
P. 138
A SLICE MONAD TRANSFORMER AND ITS APPLICATIONS IN PROGRAM SLICING
P. 147
SLICING COMPONENT-BASED SYSTEMS
P. 155
A COST-EFFICIENT SERVER ARCHITECTURE FOR REAL-TIME CREDIT-CONTROL
P. 166
A FEASIBLE SCHEDULABILITY ANALYSIS FOR FAULT-TOLERANT HARD REAL-TIME
SYSTEMS P. 176
FROM [ACTUAL SYMBOL NOT REPRODUCIBLE] TO [MU]CRL : COMBINING PERFORMANCE
AND FUNCTIONAL ANALYSIS
P. 184
COST-BENEFIT TRADE-OFF ANALYSIS USING BBN FOR ASPECT-ORIENTED
RISK-DRIVEN DEVELOPMENT
P. 195
COMPARING FAULT-PRONENESS ESTIMATION MODELS
P. 205
EVOLVING MESSAGING SYSTEMS FOR SECURE ROLE BASED MESSAGING
P. 216
MODEL-BASED DESIGN AND ANALYSIS OF PERMISSION-BASED SECURITY
P. 224
EXPLOITING OS-LEVEL MECHANISMS TO IMPLEMENT MOBILE CODE SECURITY P. 234
AN INTERNET-BASED SYSTEM FOR SETUP PLANNING IN MACHINING OPERATIONS P.
245
IMAGE 2
A B2B CONVERSATIONAL ARCHITECTURE FOR SEMANTIC WEB SERVICES BASED ON
BPIMS-WS P. 252
CONQUERING THE EIGHT-TAILED DRAGON - AN ATTEMPT TO DEAL WITH STRUCTURAL
AND BEHAVIORAL COMPLEXITIES
P. 261
A COMPONENT-BASED APPROACH FOR JAVACARD RUNTIME SYSTEM DEVELOPMENT P.
274
CUSTOMIZABLE FRAMEWORK FOR MANAGING TRUSTED COMPONENTS DEPLOYED ON
MIDDLEWARE P. 283
BEHAVIOR CAPTURE AND TEST : AUTOMATED ANALYSIS OF COMPONENT INTEGRATION
P. 292
FORMAL SEMANTICS AND VERIFICATION FOR FEATURE MODELING
P. 303
VERIFYING PARAMETERIZED REFINEMENT
P. 313
MEDIATION SYSTEMS MODELING AND VERIFICATION
P. 322
ROBUST H[SUBSCRIPT [INFINITY]] FILTER DESIGN FOR NETWORKED CONTROL
SYSTEM WITH RANDOM TIME DELAYS
P. 333
FLUID-BASED STABILITY ANALYSIS OF MIXED TCP AND UDP TRAFFIC UNDER RED P.
341
A FORMAL GENERAL FRAMEWORK AND SERVICE ACCESS MODEL FOR SERVICE GRID P.
349
AN INTRUSION DETECTION SYSTEM FOR AODV
P. 358
RAPID PROTOTYPING OF COMPLEX INTERACTIVE SIMULATION SYSTEMS
P. 366
A STUDY OF SECURE COMMUNICATIONS BETWEEN MOBILE OBJECTS
P. 377
RECOVERY METHOD BASED ON COMMUNICATING EXTENDED FINITE STATE MACHINE
(CEFSM) FOR MOBILE COMMUNICATIONS
P. 384
IDENTIFICATION OF FAULTY LINKS IN LEO/MEO SATELLITE COMMUNICATION
NETWORKS P. 394
INCONSISTENCY MEASUREMENT OF SOFTWARE REQUIREMENTS SPECIFICATIONS : AN
ONTOLOGY-BASED APPROACH
P. 402
CONSISTENCY CHECKING OF UML REQUIREMENTS
P. 411
USING THE METAMODEL MECHANISM TO SUPPORT CLASS REFINEMENT
P. 421
IMPROVING THE ROBUSTNESS AND RELIABILITY OF OBJECT-ORIENTED PROGRAMS
THROUGH EXCEPTION ANALYSIS AND TESTING
P. 432
AN OPTIMIZED METHOD FOR AUTOMATIC TEST ORACLE GENERATION FROM REAL-TIME
SPECIFICATION
P. 440
REGRESSION TESTING OF CLASSES BASED ON TCOZ SPECIFICATION
P. 450
DERIVATION OF IMPLEMENTATION CONSTRAINTS - IMPLEMENTATION SIMULATION AND
TREATMENT OF MULTIPLE DESIGN CHOICES
P. 459
DESIGN PATTERNS FOR SOFTWARE HEALTH MONITORING
P. 467
DYNAMIC ARCHITECTURAL CONNECTORS IN COOPERATIVE SOFTWARE SYSTEMS
P. 477
INTEGRATING OBJECT-Z WITH TIMED AUTOMATA
P. 488
MUTATION OPERATORS FOR OBJECT-Z SPECIFICATION
P. 498
FORMAL VERIFICATION OF AN ARRAY-BASED NONBLOCKING QUEUE
P. 507
FINALLY TAMING CONCURRENCY?
A TOOL-SUPPORTED APPROACH TO TESTING UML DESIGN MODELS P. 519 MODEL
CHECKING LIVE SEQUENCE CHARTS P. 529 EFFECTIVE GENERATION OF TEST
SEQUENCES FOR STRUCTURAL TESTING OF CONCURRENT PROGRAMS P. 539
EVALUATING SOFTWARE QUALITY ATTRIBUTES OF COMMUNICATION COMPONENTS IN AN
AUTOMATED GUIDED VEHICLE SYSTEM
P. 550
MEASURING VARIOUS PROPERTIES OF EXECUTION TRACES TO HELP BUILD BETTER
TRACE ANALYSIS TOOLS
P. 559
SCAVENGING COMPLEX GENOMIC INFORMATION USING MOBILE CODE : AN EVALUATION
P. 569
IMAGE 3
THE PRESERVATION OF INTERLEAVING EQUIVALENCES
P. 580
PRESERVING CONSISTENCY OF RUNTIME MONITORS ACROSS PROTOCOL CHANGES P.
590
COPING WITH LEGACY SYSTEM MIGRATION COMPLEXITY
P. 600
TABLE OF CONTENTS PROVIDED BY BLACKWELL'S BOOK SERVICES AND R.R. BOWKER.
USED WITH PERMISSION. |
| any_adam_object | 1 |
| author_corporate | International Conference on Engineering of Complex Computer Systems Schanghai |
| author_corporate_role | aut |
| author_facet | International Conference on Engineering of Complex Computer Systems Schanghai |
| author_sort | International Conference on Engineering of Complex Computer Systems Schanghai |
| building | Verbundindex |
| bvnumber | BV035992158 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 |
| callnumber-search | QA76.9.S88 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1990 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)61159187 (DE-599)GBV495279412 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV035992158</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100212</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100202s2005 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">076952284X</subfield><subfield code="9">0-7695-2284-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)61159187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV495279412</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Engineering of Complex Computer Systems</subfield><subfield code="n">10</subfield><subfield code="d">2005</subfield><subfield code="c">Schanghai</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)6043929-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">16 - 20 June 2005, Shanghai, China</subfield><subfield code="c">10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ICECCS 2005</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. [u.a.]</subfield><subfield code="b">IEEE Computer Society</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 612 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IEEE Computer Society</subfield><subfield code="b">Technical Committee on Complexity in Computing</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5241220-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-601</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780769522845.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018884845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018884845</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV035992158 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:57Z |
| institution | BVB |
| institution_GND | (DE-588)6043929-4 (DE-588)5241220-9 |
| isbn | 076952284X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018884845 |
| oclc_num | 61159187 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XVII, 612 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IEEE Computer Society |
| record_format | marc |
| spelling | International Conference on Engineering of Complex Computer Systems 10 2005 Schanghai Verfasser (DE-588)6043929-4 aut Proceedings 16 - 20 June 2005, Shanghai, China 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)... ICECCS 2005 Los Alamitos, Calif. [u.a.] IEEE Computer Society 2005 XVII, 612 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier System design Congresses Systems engineering Congresses Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s DE-604 IEEE Computer Society Technical Committee on Complexity in Computing Sonstige (DE-588)5241220-9 oth DE-601 pdf/application http://www.gbv.de/dms/bowker/toc/9780769522845.pdf Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018884845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings 16 - 20 June 2005, Shanghai, China System design Congresses Systems engineering Congresses Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Proceedings 16 - 20 June 2005, Shanghai, China |
| title_alt | ICECCS 2005 |
| title_auth | Proceedings 16 - 20 June 2005, Shanghai, China |
| title_exact_search | Proceedings 16 - 20 June 2005, Shanghai, China |
| title_full | Proceedings 16 - 20 June 2005, Shanghai, China 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)... |
| title_fullStr | Proceedings 16 - 20 June 2005, Shanghai, China 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)... |
| title_full_unstemmed | Proceedings 16 - 20 June 2005, Shanghai, China 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005 ; sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX)... |
| title_short | Proceedings |
| title_sort | proceedings 16 20 june 2005 shanghai china |
| title_sub | 16 - 20 June 2005, Shanghai, China |
| topic | System design Congresses Systems engineering Congresses Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | System design Congresses Systems engineering Congresses Software Engineering Konferenzschrift |
| url | http://www.gbv.de/dms/bowker/toc/9780769522845.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018884845&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonengineeringofcomplexcomputersystemsschanghai proceedings1620june2005shanghaichina AT ieeecomputersocietytechnicalcommitteeoncomplexityincomputing proceedings1620june2005shanghaichina AT internationalconferenceonengineeringofcomplexcomputersystemsschanghai iceccs2005 AT ieeecomputersocietytechnicalcommitteeoncomplexityincomputing iceccs2005 |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis