12981 search results - page 573 / 2597 » Model Checking (Abstract) |
212
click to vote
JCST
2010
15 years 1 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
184
Voted
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
182
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
189
click to vote
UML
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
260
click to vote
ICCS
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. The Grid Modeling and Simulation (GridSim) toolkit provides a comprehensive facility for simulation of application scheduling in different Grid computing environments. H...