7209 search results - page 958 / 1442 » Software Engineering for Multi-Agent Systems |
178
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
128
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
The lack of structured methodologies and software engineering efforts on designing the support of contextawareness in pervasive systems hinders the potential advantages of analyzi...
130
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
— We propose the concept of Overlay-linked IntServ (OLIntServ), a system architecture that combines network overlays with intra-domain QoS to provide assured communications over ...
107
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...