5838 search results - page 774 / 1168 » A File System for System Programming in Ubiquitous Computing |
139
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes PERA (the Purdue Enterprise Reference Architecture) and shows its relationships to GERAM (the Generalized Enterprise Reference Architecture and Methodology). ...
151
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
158
click to vote
ACE
2004
15 years 7 months ago
2004
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
172
click to vote
AAAI
1992
15 years 7 months ago
1992
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
142
click to vote
APAL
2005
15 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...