2661 search results - page 528 / 533 » A Semantics for Abstraction |
MLQ
2002
15 years 1 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
129
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
134
Voted
TOSEM
2002
15 years 1 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
121
Voted
BIRTHDAY
2010
Springer
15 years 25 days ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
136
click to vote
IFM
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...