9067 search results - page 1654 / 1814 » Adaptive Model Checking |
192
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
197
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
177
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
183
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a model for dynamically scheduling HTTP requests across clusters of servers, optimizing the use of client resources as well as the scattered server nodes....
159
click to vote
PKC
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a simple and efficient conversion from a semantically secure public-key encryption scheme against passive adversaries to a non-malleable (or semantically secure...