2232 search results - page 94 / 447 » Formal Modeling and Analysis of Organizations |
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
95
Voted
CCS
2010
ACM
14 years 12 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
SSIAI
2002
IEEE
15 years 4 months ago
2002
IEEE
The aim of this research is to develop new image processing models that can be used to characterize single opacities and opacity density within pre-selected regions of interest (R...
127
click to vote
ECMDAFA
2009
Springer
15 years 6 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
84
Voted
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...