1829 search results - page 149 / 366 » aims 2008 |
149
click to vote
RTS
2008
15 years 5 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
159
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
XActor is a distributed transaction manager that affords transactional remote invocations over an open-ended set of transports. Its support to transactional interactions is dynami...
181
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Web services have been widely employed to allow interoperability among applications and/or technologies. However, the standard technologies and protocols which provide the foundat...
175
click to vote
SIGMOD
2008
ACM
15 years 5 months ago
2008
ACM
James Nicholas Gray's understanding and experimentation gave him a special perspective. From 1995 his commitment was building indefinitely scalable tools by working on really...
177
click to vote
AIPS
2010
15 years 8 months ago
2010
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...