7778 search results - page 396 / 1556 » Designing Controllers for Reachability |
124
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
132
click to vote
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...
129
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
128
click to vote
IPTPS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...
163
click to vote
IEEEMSP
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract—Traditionally, random access protocols have been designed and studied by assuming simple models for the physical layer. We introduce a reception model that incorporates ...