1636 search results - page 223 / 328 » Type-Theoretic Functional Semantics |
126
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
132
click to vote
PVM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
138
Voted
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Successful employment of semantic web services depends on the availability of high quality ontologies to describe the domains of these services. As always, building such ontologies...
163
Voted
DEXAW
2003
IEEE
15 years 8 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
125
Voted
IPSN
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the Real-Time Event Detection Service using Data Service Middleware (DSWare). DSWare provides data-centric and group-based services for sensor networks. The rea...