Sciweavers

736 search results - page 89 / 148
» General Solution for the Dynamic Modeling of Parallel Robots
Sort
View
115
Voted
ISSRE
2007
IEEE
15 years 5 months ago
Generating Trace-Sets for Model-based Testing
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
Birgitta Lindström, Paul Pettersson, Jeff Off...
154
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
The case for aspect-oriented reflective middleware
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
Paul Grace, Eddy Truyen, Bert Lagaisse, Wouter Joo...
138
Voted
ICAS
2009
IEEE
197views Robotics» more  ICAS 2009»
15 years 10 months ago
Web QoE Evaluation in Multi-agent Networks: Validation of ITU-T G.1030
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...
Eva Ibarrola, Fidel Liberal, Ianire Taboada, Rodri...
ESOP
2003
Springer
15 years 8 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
152
Voted
IPPS
2000
IEEE
15 years 8 months ago
Run-Time Support for Adaptive Load Balancing
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
Milind A. Bhandarkar, Robert Brunner, Laxmikant V....