528 search results - page 50 / 106 » Transition Logic Revisited |
103
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
104
click to vote
ISLPED
1995
ACM
15 years 5 months ago
1995
ACM
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
139
click to vote
CADE
2012
Springer
13 years 4 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
220
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
109
click to vote
AAAI
2008
15 years 4 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...