1688 search results - page 326 / 338 » The Complexity of Rationalizing Matchings |
121
click to vote
DAC
2010
ACM
15 years 2 months ago
2010
ACM
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...
111
click to vote
CCS
2006
ACM
15 years 29 days ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...
COMPGEOM
2005
ACM
15 years 28 days ago
2005
ACM
We develop a cache-oblivious data structure for storing a set S of N axis-aligned rectangles in the plane, such that all rectangles in S intersecting a query rectangle or point ca...
ECOOP
2008
Springer
15 years 23 days ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
110
click to vote
ESWS
2008
Springer
15 years 22 days ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...