2232 search results - page 25 / 447 » Formal Modeling and Analysis of Organizations |
WSC
2004
14 years 11 months ago
2004
Agent-based modeling is a framework that allows the analysis of distributed command-by-influence using mission-type orders known for over a century as Auftragstaktik in German Arm...
106
click to vote
COOPIS
1995
IEEE
15 years 1 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
FORTE
2007
14 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
91
Voted
AUTONOMICS
2008
ACM
14 years 11 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...