2114 search results - page 367 / 423 » Practical Approaches for Software Adaptation |
FMCO
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ICFEM
2003
Springer
14 years 29 days 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...
ICVS
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...
MSS
2000
IEEE
14 years 4 days ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
ICRA
1998
IEEE
14 years 10 hour ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...