8695 search results - page 1619 / 1739 » Making the Complex Simple |
138
click to vote
MOBIHOC
2002
ACM
16 years 2 months ago
2002
ACM
Topological changes in mobile ad hoc networks frequently render routing paths unusable. Such recurrent path failures have detrimental effects on the network ability to support QoS...
139
click to vote
POPL
2010
ACM
16 years 15 days ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
129
click to vote
ICDE
2010
IEEE
16 years 10 days ago
2010
IEEE
— One of the central problems for data quality is inconsistency detection. Given a database D and a set Σ of dependencies as data quality rules, we want to identify tuples in D ...
112
click to vote
EUROSYS
2009
ACM
16 years 6 days ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conï¬...
156
click to vote
ICCAD
2008
IEEE
16 years 19 hour ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...