3831 search results - page 204 / 767 » Dynamic Context Logic |
149
click to vote
WICON
2010
15 years 2 months ago
2010
In context-aware computing, distributed information about entities, such as people, places and objects, is captured and made available to applications, which utilize this context....
135
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
87
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
In this paper, client-site Web mashups are studied from component-oriented perspective, and CompoWeb, a componentoriented Web architecture, is proposed. In CompoWeb, a Web applica...
154
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
134
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...