2451 search results - page 72 / 491 » The Octagon Abstract Domain |
168
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
243
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
157
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
272
click to vote
JUCS
2010
15 years 4 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
164
click to vote
LATINCRYPT
2010
15 years 4 months ago
2010
Abstract. In this paper we extend the notion of hierarchical identitybased encryption with wildcards (WIBE) from the domain of a single Trusted Authority (TA) to a setting with mul...