10666 search results - page 1781 / 2134 » Quantum programming languages |
153
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
138
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
239
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
236
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
124
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...