1326 search results - page 67 / 266 » Semantic Coherence in Software Engineering |
128
click to vote
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
129
click to vote
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
151
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
127
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Semantic web ontology languages, such as OWL, have been widely used for knowledge representation. Through empirical analysis of real-world ontologies we discover that, like many n...
128
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...