Sciweavers

2935 search results - page 414 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
SIGGRAPH
1996
ACM
15 years 10 months ago
Adding Force Feedback to Graphics Systems: Issues and Solutions
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
William R. Mark, Scott C. Randolph, Mark Finch, Ja...
ECOOP
2006
Springer
15 years 10 months ago
Implementing Bounded Aspect Quantification in AspectJ
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
Christian Kästner, Sven Apel, Gunter Saake
ATAL
2008
Springer
15 years 8 months ago
Autonomic machine control: a case study
This paper describes an autonomic machine control system applied to the adaptive control of a modular soldering machine. The particular case concerns the creation of a novel modul...
Christian Dannegger, Dominic A. P. Greenwood
ATAL
2008
Springer
15 years 8 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
CCE
2007
15 years 7 months ago
Towards an Ontology of Collaboration Patterns
: The concept of patterns and pattern languages has been applied in different application domains like software engineering, human computer interaction, and pedagogy. In the area o...
Jonas Pattberg, Matthias Flügge