11716 search results - page 180 / 2344 » Computable symbolic dynamics |
167
click to vote
WICSA
2004
15 years 7 months ago
2004
Today's wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the
165
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
360
click to vote
ACSW
2006
15 years 8 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
147
click to vote
PLDI
2006
ACM
16 years 13 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
166
click to vote
ICAT
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...