Sciweavers

262 search results - page 27 / 53
» Making Specifications Complete Through Models
Sort
View
CACM
1999
92views more  CACM 1999»
14 years 11 months ago
Putting OO Distributed Programming to Work
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
Pascal Felber, Rachid Guerraoui, Mohamed Fayad
SIGMOD
2006
ACM
232views Database» more  SIGMOD 2006»
15 years 12 months ago
To search or to crawl?: towards a query optimizer for text-centric tasks
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
Panagiotis G. Ipeirotis, Eugene Agichtein, Pranay ...
114
Voted
RTCSA
2008
IEEE
15 years 6 months ago
Real-Time Communications Over Cluster-Tree Sensor Networks with Mobile Sink Behaviour
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...
Petr Jurcík, Ricardo Severino, Anis Koubaa,...
ENTCS
2006
112views more  ENTCS 2006»
14 years 11 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
94
Voted
MASCOTS
2001
15 years 1 months ago
Performing File Prediction with a Program-Based Successor Model
Recent increases in CPU performance have surpassed those in hard drives. As a result, disk operations have become more expensive in terms of the number of CPU cycles spent waiting...
Tsozen Yeh, Darrell D. E. Long, Scott A. Brandt