230 search results - page 35 / 46 » Continuations and transducer composition |
ICIW
2007
IEEE
14 years 4 months ago
2007
IEEE
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
MDM
2007
Springer
14 years 3 months ago
2007
Springer
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...