2232 search results - page 114 / 447 » Formal Modeling and Analysis of Organizations |
183
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
156
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
164
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
180
click to vote
TCS
2008
15 years 6 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
176
click to vote
TSMC
2002
15 years 6 months ago
2002
Scene analysis is a major aspect of perception and continues to challenge machine perception. This paper addresses the scene-analysis problem by integrating a primitive segmentatio...