9210 search results - page 381 / 1842 » Analyzing Real-Time Systems |
163
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
169
click to vote
CIMCA
2005
IEEE
16 years 12 days ago
2005
IEEE
Digital audio devices have been changing music entertainment environment. Those devices are bundled with music jukebox software, such as Apple’s iTunes, Sony’s CONNECT player....
193
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
195
click to vote
INTERNET
2006
15 years 6 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
217
click to vote
ACNS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...