2232 search results - page 103 / 447 » Formal Modeling and Analysis of Organizations |
152
click to vote
SAS
2007
Springer
16 years 16 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
163
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
161
click to vote
FBIT
2007
IEEE
16 years 23 days ago
2007
IEEE
The tree representation as a model for organismal evolution has been in use since before Darwin. However, with the recent unprecedented access to biomolecular data it has been dis...
168
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
162
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...