6719 search results - page 1044 / 1344 » A Generalization of Automatic Sequences |
236
click to vote
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
198
click to vote
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
220
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
205
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
220
Voted
CD
2005
Springer
16 years 29 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall av...