4350 search results - page 30 / 870 » Case studies for contract-based systems |
USENIX
2000
13 years 11 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
: A two-layer adaptive wrapping technique is proposed in this paper to migrate legacy Energy Management System (EMS) modules into reusable components, and therefore transforming th...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
ICEIS
2006
IEEE
14 years 3 months ago
2006
IEEE
MATES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...