Sciweavers

15614 search results - page 294 / 3123
» The State of State
Sort
View
AMAST
2004
Springer
15 years 10 months ago
State Space Reduction for Process Algebra Specifications
Hubert Garavel, Wendelin Serwe
AOSE
2006
Springer
15 years 10 months ago
Modeling Mental States in the Analysis of Multiagent Systems Requirements
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance
ATVA
2006
Springer
87views Hardware» more  ATVA 2006»
15 years 10 months ago
Timed Temporal Logics for Abstracting Transient States
Houda Bel Mokadem, Béatrice Bérard, ...
CRYPTO
2004
Springer
97views Cryptology» more  CRYPTO 2004»
15 years 10 months ago
Efficient Tree-Based Revocation in Groups of Low-State Devices
Abstract. We study the problem of broadcasting confidential information to a collection of n devices while providing the ability to revoke an arbitrary subset of those devices (and...
Michael T. Goodrich, Jonathan Z. Sun, Roberto Tama...
CAISE
2006
Springer
15 years 10 months ago
Modeling Mental States in Agent-Oriented Requirements Engineering
Alexei Lapouchnian, Yves Lespérance