2607 search results - page 386 / 522 » On the Architecture of System Verification Environments |
168
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper considers a sensor based haptic feedback law for control of the longitudinal dynamics of a vehicle. The environment impedance is implemented in parallel as f...
181
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
191
click to vote
NCA
2008
IEEE
16 years 1 months ago
2008
IEEE
QSM is a multicast engine designed to support a style of distributed programming in which application objects are replicated among clients and updated via multicast. The model req...
181
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
174
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
– The Madeira project, part of the Celtic Initiative1 , investigates the use of a fully distributed, policy-based network management framework that exploits the peer-to-peer para...