3828 search results - page 621 / 766 » Proof-Based System Engineering Using a Virtual System Model |
184
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
139
Voted
AAMAS
2007
Springer
15 years 5 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
131
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes an in vivo measurement technique to calculate dielectric properties of blood excluding the contributions from surrounding tissues, based on analysis of the pu...
155
Voted
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
141
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...