2663 search results - page 186 / 533 » The Design, Implementation, and Evaluation of Jade |
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
LCPC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
106
click to vote
ICICS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
ISCC
2000
IEEE
15 years 3 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
VLDB
1993
ACM
15 years 2 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...