3256 search results - page 280 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
IJFCS
2006
15 years 6 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
198
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
189
click to vote
SEW
2006
IEEE
16 years 18 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
169
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
174
click to vote
UML
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...