5775 search results - page 346 / 1155 » A Rationale-based Analysis Tool |
170
click to vote
INFSOF
2006
15 years 6 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
184
Voted
GPEM
2007
15 years 6 months ago
2007
Studying an evolving complex system and drawing some conclusions from it is an integral part of nature-inspired computing; being a part of that complex system, some insight can als...
173
Voted
AUTOMATICA
2005
15 years 6 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
177
Voted
TCAD
1998
15 years 6 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
173
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...