3310 search results - page 19 / 662 » Aspect-aware operating system development |
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
IMCSIT
2010
14 years 6 months ago
2010
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
A significant volume of research has concentrated on operating-system directed power management (OSPM). The primary focus of previous research has been the development of OSPM po...
102
click to vote
ENTCS
2008
14 years 11 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...