1202 search results - page 214 / 241 » Sortings for Reactive Systems |
115
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
135
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
126
Voted
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
110
click to vote
CMG
2001
15 years 3 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...
130
click to vote
MASCOTS
2003
15 years 3 months ago
2003
Providing Quality of Service (QoS) to inelastic data transmissions in a cost-efficient, highly scalable, and realistic fashion in IP networks remains a challenging research issue....