4880 search results - page 63 / 976 » Manuals as Structured Programs |
HRI
2010
ACM
15 years 4 months ago
2010
ACM
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
SIGADA
1999
Springer
15 years 4 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...