2232 search results - page 144 / 447 » Formal Modeling and Analysis of Organizations |
173
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
170
click to vote
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
196
click to vote
TMI
2010
15 years 1 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
203
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
192
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...