Sciweavers

3130 search results - page 224 / 626
» Design Correctness of Digital Systems
Sort
View
ATAL
2003
Springer
15 years 9 months ago
A method for decentralized clustering in large multi-agent systems
This paper examines a method of clustering within a fully decentralized multi-agent system. Our goal is to group agents with similar objectives or data, as is done in traditional ...
Elth Ogston, Benno J. Overeinder, Maarten van Stee...
ICMCS
2010
IEEE
181views Multimedia» more  ICMCS 2010»
15 years 2 months ago
LDPC FEC code extension for unequal error protection in 2nd generation DVB systems
One of the envisioned advantages of scalable video coding is its inherent suitability for achieving unequal error protection (UEP). UEP can be effectively used for graceful qualit...
Lukasz Kondrad, Imed Bouazizi, Moncef Gabbouj
EMSOFT
2008
Springer
15 years 6 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
152
Voted
MOBISYS
2008
ACM
16 years 4 months ago
Cascadia: a system for specifying, detecting, and managing rfid events
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...
Evan Welbourne, Nodira Khoussainova, Julie Letchne...
ICALT
2005
IEEE
15 years 10 months ago
Informal Health and Legal Rights Education in Rural, Agricultural Communities Using Mobile Devices
The focus of this work is on the design of a system for informal education in rural, farmworker populations using mobile devices. We have conducted needs assessment with farmworke...
Jaspal S. Sandhu, Jonathan Hey, Catherine Newman, ...