2232 search results - page 65 / 447 » Formal Modeling and Analysis of Organizations |
SAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
FUIN
2008
14 years 11 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...