2302 search results - page 312 / 461 » Modeling Intergovernmental Collaboration: A System Dynamics ... |
147
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
153
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
134
Voted
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
201
click to vote
JMLR
2012
13 years 7 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
124
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...