Sciweavers

5591 search results - page 687 / 1119
» Design patterns: between programming and software design
Sort
View
SIGCOMM
2012
ACM
13 years 9 months ago
Abstractions for network update
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
Mark Reitblatt, Nate Foster, Jennifer Rexford, Col...
ICALP
2000
Springer
15 years 10 months ago
Efficient Verification Algorithms for One-Counter Processes
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
Antonín Kucera
ISORC
2008
IEEE
16 years 1 months ago
Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
Nilabja Roy, John S. Kinnebrew, Nishanth Shankaran...
TABLETOP
2008
IEEE
16 years 1 months ago
A field study of knowledge workers' use of interactive horizontal displays
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...
Meredith Ringel Morris, A. J. Bernheim Brush, Bria...
CIVR
2007
Springer
112views Image Analysis» more  CIVR 2007»
16 years 29 days ago
Practice and challenges in trademark image retrieval
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
Jan Schietse, John P. Eakins, Remco C. Veltkamp