4099 search results - page 359 / 820 » A Framework for Interactive Proof |
186
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
176
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
198
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
177
click to vote
PUC
2000
15 years 6 months ago
2000
: This paper describes a framework for managing and distributing trust information in a community of mobile and wearable computer users. Trust information in the form of reputation...
177
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we introduce the notion of character's values to mediate between agents and story direction in storytelling systems. By relating characters' goals with the...