5599 search results - page 50 / 1120 » Abstract State Services |
127
click to vote
IFM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
114
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
121
click to vote
TC
1998
15 years 1 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
112
click to vote
JUCS
2010
15 years 1 days ago
2010
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
124
click to vote
SIAMADS
2010
14 years 8 months ago
2010
Abstract. The continuous and discrete symmetries of the Kuramoto