2232 search results - page 17 / 447 » Formal Modeling and Analysis of Organizations |
DATE
1998
IEEE
15 years 1 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
15 years 4 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
15 years 3 months 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
15 years 4 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
15 years 3 months ago
2007
Springer