Sciweavers

2706 search results - page 347 / 542
» Dynamical models of sentence processing
Sort
View
OHS
2000
Springer
15 years 8 months ago
Structural Computing in the Collaborative Work Domain?
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
Jörg M. Haake
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 5 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
PE
2006
Springer
115views Optimization» more  PE 2006»
15 years 4 months ago
Optimal processor allocation to differentiated job flows
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...
Kimberly M. Wasserman, George Michailidis, Nichola...
ICCAD
2010
IEEE
166views Hardware» more  ICCAD 2010»
15 years 2 months ago
Low-power clock trees for CPUs
Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
Dongjin Lee, Myung-Chul Kim, Igor L. Markov
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 2 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen