12115 search results - page 160 / 2423 » Bisimulation of Dynamical Systems |
143
Voted
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...
126
Voted
CGO
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present a technique for reducing the overhead of collecting path profiles in the context of a dynamic optimizer. The key idea to our approach, called Targeted Pa...
118
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
130
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
142
Voted
IJICT
2007
15 years 3 months ago
2007
We propose a parallel algorithm for dynamic slicing of distributed Java programs. Given a distributed Java program, we first construct an intermediate representation in the form o...