Sciweavers

39 search results - page 5 / 8
» Scalable XQuery type matching
Sort
View
DAC
2010
ACM
15 years 1 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
PRIMA
2004
Springer
15 years 3 months ago
Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
Reiko Hishiyama, Toru Ishida
ICDCSW
2002
IEEE
15 years 2 months ago
Event Systems: How to Have Your Cake and Eat It Too
This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing intere...
Patrick Th. Eugster, Pascal Felber, Rachid Guerrao...
MOBICOM
2005
ACM
15 years 3 months ago
PeopleNet: engineering a wireless virtual social network
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
Mehul Motani, Vikram Srinivasan, Pavan Nuggehalli
ASAP
2004
IEEE
126views Hardware» more  ASAP 2004»
15 years 1 months ago
Hyper-Programmable Architectures for Adaptable Networked Systems
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
Gordon J. Brebner, Philip James-Roxby, Eric Keller...