1561 search results - page 288 / 313 » Mobile Process Support Systems - Experiences from a case stu... |
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
BIBE
2004
IEEE
14 years 17 days 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 ...
VISSYM
2007
13 years 11 months ago
2007
Viewpoint selection is crucial for medical intervention planning. The interactive exploration of a scene with 3d objects involves the systematic analysis of several anatomic struc...
WSC
2007
13 years 11 months ago
2007
Coercion combines flexible points, semi-automated optimization and expert guided manual code modification for adapting simulations to meet new requirements. Coercion can improve s...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...