3207 search results - page 620 / 642 » A Semantics for HTN Methods |
175
click to vote
CSL
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
155
click to vote
GEOS
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
223
click to vote
OOPSLA
2007
Springer
16 years 1 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
159
click to vote
PEPM
2007
ACM
16 years 1 days ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
247
click to vote
SMALLTALK
2007
Springer
16 years 19 hour ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...