2940 search results - page 287 / 588 » Relational Parametricity and Control |
151
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
163
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
159
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: This paper presents a new 3-D design of a discretely-actuated robot manipulator powered by binary actuators. Binary actuators have two stable states, which are, for example, clos...
197
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
141
click to vote
ECIS
2004
15 years 8 months ago
2004
Trust building has been acknowledged as one of the critical factor for the success of e-commerce. However, few sources of trust were identified in online transaction. This paper t...