439 search results - page 32 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
178
click to vote
RTAS
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
ECSQARU
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
103
click to vote
CHI
2006
ACM
15 years 10 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...