Sciweavers

2101 search results - page 377 / 421
» Rethinking the design of distributed stream processing syste...
Sort
View
MODELS
2007
Springer
15 years 3 months ago
Modeling Time(s)
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
Charles André, Frédéric Malle...
OTM
2007
Springer
15 years 3 months ago
HARC: The Highly-Available Resource Co-allocator
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...
Jon MacLaren
HICSS
2006
IEEE
115views Biometrics» more  HICSS 2006»
15 years 3 months ago
ACLE: A Communication Environment for Asynchronous Collaborative Learning
The popularity of distributed learning and the continued growth in the number of colleges and universities offering courses delivered entirely via asynchronous learning networks (...
Timothy J. Ellis, William Hafner
HPCS
2006
IEEE
15 years 3 months ago
Collaborative Agents for Data Dissemination in Wireless Sensor Networks
This paper presents collaborative agents system architecture approach for data dissemination in a wireless sensor network (WSN). This system architecture consists of four layers o...
Sajid Hussain, Elhadi Shakshuki, Abdul Wasey Matin...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 3 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff