1525 search results - page 277 / 305 » Formal Models for Communication-Based Design |
92
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
89
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
95
Voted
WECWIS
2005
IEEE
15 years 6 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
APN
2005
Springer
15 years 6 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
109
Voted
DFKI
2005
Springer
15 years 6 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...