789 search results - page 111 / 158 » A Formal Model for Epistemic Interactions |
178
click to vote
FMCO
2007
Springer
16 years 14 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
219
click to vote
CTRSA
2005
Springer
15 years 12 months ago
2005
Springer
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
176
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
179
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
153
click to vote
AAAI
2006
15 years 7 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...