973 search results - page 27 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
IFIP12
2007
13 years 9 months ago
2007
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
OOPSLA
2004
Springer
14 years 28 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...