322 search results - page 33 / 65 » Expressive power and abstraction in Essence |
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In this contribution the radio channel model proposed in [1] is extended to include multiple transmitters and receivers. The propagation environment is modelled using r...
GRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract— In this paper we present a system permitting controlled policy administration and delegation using the XACML access control system. The need for these capabilities stem...
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
86
Voted
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...