2501 search results - page 222 / 501 » Obligations and Their Interaction with Programs |
156
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
138
click to vote
PERCOM
2009
ACM
16 years 24 days ago
2009
ACM
— The increasing availability of sensing devices has made the possibility of context-aware pervasive computing applications real. However, constructing this software requires ext...
159
click to vote
AI
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
151
click to vote
IWMM
2009
Springer
16 years 16 days ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
152
click to vote
HASKELL
2009
ACM
16 years 15 days ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...