Sciweavers

2624 search results - page 246 / 525
» The 2LIP model and its implementations
Sort
View
IPPS
2003
IEEE
15 years 6 months ago
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
Stefan Lankes, Andreas Jabs, Thomas Bemmerl
KBSE
2003
IEEE
15 years 6 months ago
A Programmable Client-Server Model: Robust Extensibility via DSLs
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
Charles Consel, Laurent Réveillère
IJCNN
2006
IEEE
15 years 7 months ago
Modeling Cortical Maps with Feed-Backs
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
Thierry Viéville, Pierre Kornprobst
146
Voted
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 6 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
VRML
1998
ACM
15 years 5 months ago
VRML in Architectural Construction Documents: A Case Study
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
Dace A. Campbell