858 search results - page 128 / 172 » Formal Verification of Digital Systems |
119
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
122
click to vote
DAGSTUHL
2008
15 years 3 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
116
click to vote
CCS
2000
ACM
15 years 5 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 ...
119
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
125
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
Next generation mobile devices will allow users to share and pass information within anonymous groups of people in an ad hoc manner. This will smooth the path for many kinds of ne...