1318 search results - page 107 / 264 » The formal semantics of the timeER model |
252
click to vote
SIGSOFT
2011
ACM
15 years 1 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
226
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
176
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
171
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
179
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...