Sciweavers

270 search results - page 42 / 54
» Dynamic Complexity Theory Revisited
Sort
View
VALUETOOLS
2006
ACM
111views Hardware» more  VALUETOOLS 2006»
15 years 5 months ago
Stability of multi-class queueing systems with state-dependent service rates
We examine the stability of multi-class queueing systems with the special feature that the service rates of the various classes depend on the number of users present of each of th...
Matthieu Jonckheere, Sem C. Borst
WETICE
2005
IEEE
15 years 5 months ago
Challenges and Solutions for Model Driven Web Service Composition
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ATAL
2004
Springer
15 years 5 months ago
Teaching and Working with Robots as a Collaboration
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...
Cynthia Breazeal, Guy Hoffman, Andrea Lockerd
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 4 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
EUROSYS
2007
ACM
15 years 3 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune