714 search results - page 116 / 143 » The Formal Specification Language mCRL2 |
123
Voted
WEBDB
2009
Springer
15 years 10 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...
135
Voted
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
130
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
120
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
117
Voted
EUC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we define an algorithm for location-independent communication of mobile software Personal Assistants (PAs). The algorithm extends the Query Server with Caching algor...