2607 search results - page 386 / 522 » On the Architecture of System Verification Environments |
150
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...
165
click to vote
IEEESCC
2008
IEEE
16 years 28 days 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 ...
166
click to vote
NCA
2008
IEEE
16 years 27 days 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...
160
click to vote
TPHOL
2007
IEEE
16 years 23 days 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,...
158
click to vote
GLOBECOM
2006
IEEE
16 years 17 days 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...