155 search results - page 9 / 31 » Vicinity Respecting Homomorphisms for Abstracting System Req... |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
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...
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
ACII
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Global integration and migration force people to learn additional languages. With respect to major languages, the acquisition is already initiated at primary school but a...
DAGSTUHL
2006
13 years 10 months ago
2006
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...