9821 search results - page 163 / 1965 » A Framework for the Development of Protocols |
128
click to vote
ISF
2007
15 years 4 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
151
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Developing interaction rules/protocols among multiple agents is one of the central research topics in multi-agent systems. For cooperative agents, we need to develop protocols so ...
161
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
135
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
131
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...