2024 search results - page 210 / 405 » A Formal Model of Multi-agent Computations |
147
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
118
click to vote
EWC
2000
15 years 4 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
157
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
131
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
138
click to vote
ADC
2004
Springer
15 years 8 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...