Sciweavers

4755 search results - page 465 / 951
» An Implementation Model for Collaborative Applications
Sort
View
INFOCOM
2006
IEEE
15 years 11 months ago
A General Model and Analysis of Physical Layer Capture in 802.11 Networks
Abstract— While packet capture has been observed in real implementations of 802.11 devices, there is a lack of accurate models that describe the phenomenon. We present a general ...
Hoon Chang, Vishal Misra, Dan Rubenstein
DAC
2006
ACM
15 years 11 months ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
WOSP
2005
ACM
15 years 10 months ago
Applying SPE techniques for modeling a grid-enabled JAVA platform
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
Mariela Curiel, M. Angélica Pérez, R...
ER
2001
Springer
60views Database» more  ER 2001»
15 years 9 months ago
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. ...
SIGSAND
2008
15 years 6 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst