2661 search results - page 314 / 533 » A Semantics for Abstraction |
165
click to vote
TAOSD
2010
15 years 5 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
165
click to vote
ADBIS
2005
Springer
16 years 7 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
174
click to vote
MHCI
2005
Springer
16 years 5 days ago
2005
Springer
ZuiScat is a visualization concept for querying large information spaces on Personal Digital Assistants (PDA). Retrieval results are presented in a dynamic scatterplot, which is e...
202
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
191
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...