391 search results - page 50 / 79 » Formal Universes |
89
Voted
CAV
2009
Springer
16 years 29 days ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
202
click to vote
POPL
2004
ACM
16 years 22 days ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
SIGMOD
2003
ACM
16 years 17 days ago
2003
ACM
XML is becoming the universal format for data exchange between applications. Recently, the emergence of Web services as standard means of publishing and accessing data on the Web ...
106
click to vote
PODS
2006
ACM
16 years 17 days ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
99
Voted
PERCOM
2007
ACM
16 years 19 hour ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...