800 search results - page 48 / 160 » Towards a formalization of budgets |
WEBDB
2009
Springer
15 years 5 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...
FM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
103
click to vote
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
110
click to vote
MDM
2007
Springer
15 years 5 months ago
2007
Springer
A general consensus is that the proliferation of locationaware devices will result in a diffusion of location-based services. Privacy preservation is a challenging research issue ...
101
click to vote
ACOM
2006
Springer
15 years 5 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...