1054 search results - page 111 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
143
click to vote
BIBE
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
143
click to vote
TOG
2002
15 years 4 months ago
2002
Placing shadows is difficult task since shadows depend on the relative positions of lights and objects in an unintuitive manner. To simplify the task of the modeler, we present a ...
140
click to vote
ISIM
2007
15 years 5 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
136
click to vote
FORTE
2003
15 years 5 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
154
click to vote
AE
2001
Springer
15 years 9 months ago
2001
Springer
In the last few years, the coevolutionary paradigm has shown an increasing interest thanks to its high ability to manage huge search spaces. Particularly, the cooperative interacti...