2958 search results - page 303 / 592 » Extending and Implementing RASP |
122
Voted
ESA
2006
Springer
15 years 4 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
126
Voted
MA
2000
Springer
15 years 4 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
103
Voted
ATAL
1995
Springer
15 years 4 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
131
click to vote
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
Firewalls provide very good network security features. However, classical perimeter firewall deployments suffer from limitations due to complex network topologies and the inabilit...