Sciweavers

5055 search results - page 281 / 1011
» Relative Timing
Sort
View
209
Voted
GLOBECOM
2008
IEEE
16 years 1 months ago
A Secure VANET MAC Protocol for DSRC Applications
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...
Yi Qian, Kejie Lu, Nader Moayeri
OZCHI
2006
ACM
16 years 1 months ago
iSocialize: investigating awareness cues for a mobile social awareness application
Emerging technologies increasingly provide opportunities for creating and maintaining social relations with people even though separated by time or distance. However, it is still ...
Berith L. Andersen, Martin L. Jørgensen, Ul...
WADT
2001
Springer
15 years 11 months ago
Verifying a Simple Pipelined Microprocessor Using Maude
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
Neal A. Harman
189
Voted
CSSE
2008
IEEE
16 years 1 months ago
Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
Zunqi Yang, Hai Lin
MSV
2004
15 years 8 months ago
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
Gabriel A. Wainer, Norbert Giambiasi