1108 search results - page 179 / 222 » Model Checking of Safety Properties |
95
Voted
WECWIS
2005
IEEE
15 years 6 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 ...
89
Voted
DSN
2002
IEEE
15 years 5 months 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 ...
118
Voted
ICPADS
2002
IEEE
15 years 5 months 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
15 years 16 days 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...
183
Voted
AOSD
2011
ACM
14 years 7 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...