Sciweavers

2102 search results - page 96 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
JMLR
2011
188views more  JMLR 2011»
14 years 8 months ago
Linking Granger Causality and the Pearl Causal Model with Settable Systems
The causal notions embodied in the concept of Granger causality have been argued to belong to a different category than those of Judea Pearl’s Causal Model, and so far their re...
Halbert White, Karim Chalak, Xun Lu
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 6 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
DAC
1997
ACM
15 years 5 months ago
Dynamic Communication Models in Embedded System Co-Simulation
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...
Ken Hines, Gaetano Borriello
JSAC
2006
111views more  JSAC 2006»
15 years 1 months ago
On trust models and trust evaluation metrics for ad hoc networks
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...
George Theodorakopoulos, John S. Baras
122
Voted
CACM
1998
103views more  CACM 1998»
15 years 1 months ago
The Virtual Design Team
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
John C. Kunz, Tore R. Christiansen, Geoff P. Cohen...