1454 search results - page 218 / 291 » Stateful traits and their formalization |
147
click to vote
ROBOCUP
2009
Springer
16 years 27 days ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
165
click to vote
CHIMIT
2009
ACM
16 years 26 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
151
click to vote
ISSTA
2009
ACM
16 years 26 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
134
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
140
click to vote
ICDCS
2008
IEEE
16 years 24 days ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...