Sciweavers

5668 search results - page 261 / 1134
» Overlaps in Requirements Engineering
Sort
View
ICSE
2010
IEEE-ACM
15 years 10 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
AIRWEB
2006
Springer
15 years 10 months ago
Adversarial Information Retrieval Aspects of Sponsored Search
Search engines are commercial entities that require revenue to survive. The most prevalent revenue stream for search engines is sponsored search, where content providers have sear...
Bernard J. Jansen
ICSE
2010
IEEE-ACM
15 years 8 months ago
EMFStore: a model repository for EMF models
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
Maximilian Koegel, Jonas Helming
PDP
2009
IEEE
16 years 1 months ago
High Throughput Intra-Node MPI Communication with Open-MX
Abstract—The increasing number of cores per node in highperformance computing requires an efficient intra-node MPI communication subsystem. Most existing MPI implementations rel...
Brice Goglin
VTC
2007
IEEE
198views Communications» more  VTC 2007»
16 years 26 days ago
A Distributed Node Scheduling Protocol Considering Sensing Coverage in Wireless Sensor Networks
Abstract— A crucial issue in deploying wireless sensor networks is to perform a sensing task in an area of interest in an energy-efficient manner since sensor nodes have limited...
Jaekyu Cho, Gilsoo Kim, Taekyoung Kwon, Yanghee Ch...