2436 search results - page 352 / 488 » Comonadic Notions of Computation |
135
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
125
click to vote
ICNP
2009
IEEE
15 years 11 months ago
2009
IEEE
—We introduce the Dynamic Policy Routing (DPR) model that captures the propagation of route updates under arbitrary changes in topology or path preferences. DPR introduces the no...
133
click to vote
IEEECIT
2009
IEEE
15 years 11 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
132
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
102
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...