2687 search results - page 460 / 538 » Formal Analysis of PKCS |
174
Voted
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
186
click to vote
ER
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
152
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
174
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
182
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...