Sciweavers

11172 search results - page 436 / 2235
» Testing Physical Systems
Sort
View
ISMVL
2003
IEEE
111views Hardware» more  ISMVL 2003»
16 years 4 days ago
Modeling Multi-Valued Circuits in SystemC
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
Daniel Große, Görschwin Fey, Rolf Drech...
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
15 years 8 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah
MDM
2009
Springer
115views Communications» more  MDM 2009»
16 years 1 months ago
Design of P2Pnet: An Autonomous P2P Ad-Hoc Group Communication System
This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...
Yao-Nan Lien, Hung-Chin Jang, Tzu-Chieh Tsai
CDC
2008
IEEE
16 years 1 months ago
Effects of topology in networked systems: Stochastic methods and small worlds
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
John S. Baras, Pedram Hovareshti
CW
2005
IEEE
16 years 15 days ago
A Capability-Based Transparent Cryptographic File System
Data on the file system in mobile internetworked working environments are exposed data to a number of threats ranging from physical theft of storage devices to industrial espiona...
Frank Graf, Stephen D. Wolthusen