699 search results - page 99 / 140 » Computation of Interprocedural Control Dependence |
84
Voted
DANCE
2002
IEEE
15 years 5 months ago
2002
IEEE
Current networks require ad-hoc operating procedures by expert administrators to handle changes. These configuration management operations are costly and error prone. Active netwo...
117
click to vote
ICPP
2002
IEEE
15 years 5 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
112
click to vote
MMMACNS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
134
Voted
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
90
Voted
IWAI
1999
Springer
15 years 4 months ago
1999
Springer
In a multi-agent system, agents must decide what to do and by what order. Autonomy is a key notion in such a system, since it is mainly the autonomy of the agents that makes the en...