Sciweavers

20833 search results - page 3790 / 4167
» Hidden process models
Sort
View
162
Voted
FMICS
2008
Springer
15 years 6 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
128
Voted
ADBIS
2010
Springer
174views Database» more  ADBIS 2010»
15 years 6 months ago
Exploiting the Semantics of Location Granules in Location-Dependent Queries
Abstract. The need for location-based services has motivated an important research effort in the efficient processing of location-dependent queries. Most of the existing approaches...
Carlos Bobed, Sergio Ilarri, Eduardo Mena
INFOSCALE
2007
ACM
15 years 6 months ago
BUST: enabling scalable service orchestration
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
Dong Liu, Ralph Deters
INFOSCALE
2007
ACM
15 years 6 months ago
A model-based WiFi localization method
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
Dik Lun Lee, Qiuxia Chen
FPL
2008
Springer
207views Hardware» more  FPL 2008»
15 years 6 months ago
Bitstream compression techniques for Virtex 4 FPGAs
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...
Radu Stefan, Sorin Dan Cotofana
« Prev « First page 3790 / 4167 Last » Next »