Sciweavers

3828 search results - page 522 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
15 years 11 months ago
Position Based Visual Servoing: Keeping the Object in the Field of Vision
Visual servoing requires an object in the field of view of the camera, in order to control the robot evolution. Otherwise, the virtual link is broken and the control loop cannot c...
Benoit Thuilot, Philippe Martinet, Lionel Cordesse...
MASCOTS
2004
15 years 8 months ago
Performance Characterisation and Verification of JavaSpaces Based on Design of Experiments
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
Frederic Hancke, Tom Dhaene, Jan Broeckhove
192
Voted
EUROMICRO
1999
IEEE
15 years 11 months ago
Processing Requirements by Software Configuration Management
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
Ivica Crnkovic, Peter J. Funk, Magnus Larsson
B
2007
Springer
16 years 27 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
COMPSAC
2002
IEEE
15 years 11 months ago
Multi-Criteria Preference Analysis for Systematic Requirements Negotiation
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...
Hoh Peter In, David Olson, Tom Rodgers