1636 search results - page 197 / 328 » Reasoning About Quantum Systems |
199
click to vote
CIKM
2009
Springer
16 years 28 days ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
181
click to vote
CMSB
2009
Springer
16 years 28 days ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
213
click to vote
DSOM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
124
click to vote
PET
2009
Springer
16 years 27 days ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
164
click to vote
PPDP
2009
Springer
16 years 27 days ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...