18209 search results - page 3337 / 3642 » Some Remarks on the Paper |
201
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
182
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Future database application systems will be designed as Service Oriented Architectures (SOAs), in contrast to today’s monolithic architectures. The decomposition in man...
167
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
189
click to vote
CCS
2005
ACM
16 years 10 days ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
201
Voted
CCS
2005
ACM
16 years 10 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...