2722 search results - page 102 / 545 » The Model Evolution Calculus |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
FMOODS
2007
13 years 9 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
MMB
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
Re-using e-learning content is a solution often proposed against the high-cost of the creation high-quality e-learning material, a solution with a neglectable price. In this paper ...