1522 search results - page 131 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
127
Voted
TSE
2008
15 years 2 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
230
Voted
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
124
Voted
AAAI
1998
15 years 4 months ago
1998
This paperconsidersthe problem of representingcomplex systems that evolve stochastically over time. Dynamic Bayesian networks provide a compact representation for stochastic proce...
105
click to vote
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
Among the many methods for modeling cortical interactions using EEG and MEG data, Multivariate Autoregressive(MVAR) functional connectivity measures have the advantage of providin...
119
Voted
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...