1284 search results - page 45 / 257 » On Helping and Interactive Proof Systems |
APSEC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
We present Saltate!, a wireless prototype system to support beginners of ballroom dancing. Saltate! acquires data from force sensors mounted under the dancers' feet, detects ...
COCO
1991
Springer
14 years 9 days ago
1991
Springer
Abstract. In this paper, we generalize the previous formal de nitions of random-self-reducibility. We show that, even under our very general de nition, sets that are complete for a...
AUSAI
2003
Springer
14 years 2 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
AOSE
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...