Sciweavers

4007 search results - page 381 / 802
» Automotive Software Integration
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
AUTONOMICS
2008
ACM
15 years 9 months ago
Tracking and tracing containers through distributed sensor middleware
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...
Klaas Thoelen, Sam Michiels, Wouter Joosen
AVI
2010
15 years 9 months ago
A community based metaphor supporting EUD within communities
The paper proposes an approach to EUD focusing on communities: on the one hand, users are considered as a community of cooperating actors; on the other hand, applications and devi...
Marco P. Locatelli, Carla Simone
CATE
2004
168views Education» more  CATE 2004»
15 years 9 months ago
Remote e-Learning System for Schools
Experience from the management of distributed computer-based learning resources in schools has been proven to be inefficient and costly. Though commercial software packages are av...
Kai-Pan Mark, Sheung-lun Hung, William Tsang
EFDBS
2000
15 years 9 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben