2232 search results - page 17 / 447 » Formal Modeling and Analysis of Organizations |
DATE
1998
IEEE
13 years 11 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
ICECCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
FC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer