1380 search results - page 161 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
P2P
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...
HASKELL
2005
ACM
14 years 3 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
IJON
2007
13 years 10 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
CCIA
2007
Springer
14 years 4 months ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...