7988 search results - page 224 / 1598 » A Useful Undecidable Theory |
128
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
202
click to vote
CADE
2011
Springer
14 years 20 days 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 ...
149
click to vote
FROCOS
2011
Springer
14 years 10 days ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
121
Voted
CONCUR
2012
Springer
13 years 3 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
76
Voted
SYNASC
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...