2016 search results - page 114 / 404 » Megamaps: Construction and Examples |
199
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
164
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
177
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
170
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
157
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...