1894 search results - page 288 / 379 » A TLA Proof System |
129
click to vote
EWSN
2004
Springer
16 years 3 months ago
2004
Springer
We present a hardware and software platform for rapid prototyping of augmented sensor network systems, which may be temporarily connected to a backend infrastructure for data stora...
133
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
142
Voted
HRI
2009
ACM
15 years 10 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...
126
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
109
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...