Sciweavers

7209 search results - page 239 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
IWPC
2003
IEEE
14 years 4 months ago
Individual Differences in Program Comprehension Strategies in Unfamiliar Programming Systems
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...
Andrew Jensen Ko, Bob Uttl
AC
2003
Springer
14 years 4 months ago
Naming and Integrity: Self-verifying Data in Peer-to-Peer Systems
Peer-to-peer systems are positioned to take advantage of gains in network bandwidth, storage capacity, and computational resources to provide long-term durable storage infrastruct...
Hakim Weatherspoon, Chris Wells, John Kubiatowicz
CODES
2004
IEEE
14 years 2 months ago
Memory system design space exploration for low-power, real-time speech recognition
The recent proliferation of computing technology has brought added interest to natural I/O interface technologies such as speech recognition. Unfortunately, the computational and ...
Rajeev Krishna, Scott A. Mahlke, Todd M. Austin
COMPSAC
2004
IEEE
14 years 2 months ago
Spatial Data Query Support in Peer-to-Peer Systems
Recently distributed hash table (DHT) mechanisms have been proposed to manage data in very large, structured peer-to-peer (P2P) systems. DHT algorithms provide efficient exact-mat...
Roger Zimmermann, Wei-Shinn Ku, Haojun Wang
FOSSACS
2006
Springer
14 years 2 months ago
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
Petr Jancar, Jirí Srba