|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3332379 |
| 003 |
MWH |
| 005 |
20191220125617.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2007 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783540731962
|
| 024 |
7 |
|
|a 10.1007/978-3-540-73196-2
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-540-73196-2
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UKN
|2 bicssc
|
| 072 |
|
7 |
|a COM075000
|2 bisacsh
|
| 072 |
|
7 |
|a UKN
|2 thema
|
| 245 |
1 |
0 |
|a Formal Techniques for Networked and Distributed Systems - FORTE 2007
|h [electronic resource] :
|b 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /
|c edited by John Derrick, Jüri Vain.
|
| 250 |
|
|
|a 1st ed. 2007.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2007.
|
| 300 |
|
|
|a XI, 378 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering ;
|v 4574
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification -- Technical Session 1. Message Sequence Charts and SDL -- Thread–Based Analysis of Sequence Diagrams -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL -- Technical Session 2. Concurrency -- Coordination Via Types in an Event-Based Framework -- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation -- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes -- Technical Session 3. Model Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event Correlation with Boxed Pomsets -- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets -- Technical Session 5. Verification -- Improvements for the Symbolic Verification of Timed Automata -- The DHCP Failover Protocol: A Formal Perspective -- Verifying Erlang/OTP Components in ?CRL -- Technical Session 6. Model Checking -- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata -- Testing Distributed Systems Through Symbolic Model Checking -- An Incremental and Modular Technique for Checking LTL?X Properties of Petri Nets -- Technical Session 7. Requirements and QoS -- Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements -- Formalization of Network Quality-of-Service Requirements -- Technical Session 8. Components -- Robustness in Interaction Systems -- Transactional Reduction of Component Compositions -- Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
|
| 520 |
|
|
|a These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re?ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the ?agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26–29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Operating systems (Computers).
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Derrick, John.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Vain, Jüri.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Programming and Software Engineering ;
|v 4574
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-540-73196-2
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b33323793
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i22455413
|z 02-26-20
|
| 999 |
f |
f |
|i fe9d2a40-a217-5a16-996a-d0019b052527
|s fd9d0da5-6c5d-5a56-9f96-424947c4453b
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|