4350 search results - page 30 / 870 » Case studies for contract-based systems |
133
Voted
USENIX
2000
15 years 5 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...
122
Voted
COMPSAC
2000
IEEE
15 years 8 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...
105
Voted
GI
2007
Springer
15 years 7 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
15 years 9 months ago
2006
IEEE
137
Voted
MATES
2004
Springer
15 years 9 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...