1108 search results - page 179 / 222 » Model Checking of Safety Properties |
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
DSN
2002
IEEE
14 years 23 days ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
ICPADS
2002
IEEE
14 years 23 days ago
2002
IEEE
Wormhole routing is most common in parallel architectures in which messages are sent in small fragments called flits. It is a lightweight and efficient method of routing message...
IJAR
2008
13 years 7 months ago
2008
Proteomic profiling based on mass spectrometry is an important tool for studies at the protein and peptide level in medicine and health care. Thereby, the identification of releva...
AOSD
2011
ACM
13 years 2 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...