3573 search results - page 600 / 715 » Reasoning about Codata |
103
Voted
TOPLAS
2010
14 years 11 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
109
Voted
DLOG
2010
14 years 10 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
107
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Security and privacy issues for Location-Based Services (LBS) and geolocation-capable applications often revolve around designing a User Interface (UI) such that users are informe...
122
Voted
CACM
2010
14 years 10 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
110
Voted
DEBU
2010
14 years 10 months ago
2010
Understanding the energy consumption of flash devices is important for two reasons. First, energy is emerging as a key metric for data management systems. It is thus important to ...