2661 search results - page 90 / 533 » A Semantics for Abstraction |
166
click to vote
ISVC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This article describes a novel junction descriptor that encodes junctions’ semantic information in terms incoming lines’ orientations, both in 2D and 3D. A Kalman fi...
173
click to vote
ENTCS
2010
15 years 3 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
158
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
181
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
148
click to vote
KIVS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...