361 search results - page 51 / 73 » Composition of Password-Based Protocols |
AUTONOMICS
2007
ACM
14 years 21 days ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...