3256 search results - page 345 / 652 » Applications of Formal Methods to System Design and Verifica... |
213
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
182
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
173
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
This paper initiates a study of accountable certificate management methods, necessary to support long-term authenticity of digital documents. Our main contribution is a model for ...
189
click to vote
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
— Security has become important to mobile ad hoc networks (MANETs) due mainly to their use for many missionand life-critical applications. However, the broadcast nature of inter-...
141
click to vote
WETICE
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we present a trust-oriented method that can be used when building P2P recommender systems. We discuss its benefits in comparison to centralized solutions, its requir...