Sciweavers

1855 search results - page 239 / 371
» A Domain Specific Language for the Development of Collaborat...
Sort
View
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
14 years 2 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py
WORDS
2005
IEEE
14 years 2 months ago
An Adaptable Security Framework for Service-based Systems
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Z...
VAMOS
2010
Springer
13 years 10 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
14 years 29 days ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
ENTCS
2008
153views more  ENTCS 2008»
13 years 9 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe