Sciweavers

366 search results - page 25 / 74
» Communications in Electronic Textile Systems
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
14 years 4 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
KIVS
2011
Springer
13 years 24 days ago
Alister 2.0 - Programmable Logic Controllers in Railway Interlocking Systems for Regional Lines of the DB Netze AG
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...
Reiner Saykowski, Elferik Schultz, Joachim Bleidie...
WWW
2004
ACM
14 years 10 months ago
Ontalk: ontology-based personal document management system
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
Hak Lae Kim, Hong-Gee Kim, Kyung-Mo Park
VTC
2010
IEEE
156views Communications» more  VTC 2010»
13 years 8 months ago
VERGILIUS: A Scenario Generator for VANET
—Vehicular networks are on the fast track to become a reality either through a car manufacturer that introduces a communication device in the car electronics or through an afterm...
Eugenio Giordano, Enzo De Sena, Giovanni Pau, Mari...
MFCS
2004
Springer
14 years 3 months ago
Boxed Ambients with Communication Interfaces
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiol...