2123 search results - page 292 / 425 » Composition of Cyber-Physical Systems |
128
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
108
Voted
MSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Storage virtualization and data management are well known problems for individual users as well as large organizations. Existing storage-virtualization systems either do not suppo...
122
click to vote
IMC
2004
ACM
15 years 10 months ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
128
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
129
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...