4421 search results - page 635 / 885 » Libraries |
111
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
104
click to vote
WOMPAT
2004
Springer
15 years 7 months ago
2004
Springer
OpenMP allows programmers to specify nested parallelism in parallel applications. In the case of scientific applications, parallel loops are the most important source of paralleli...
127
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Sensor networks have evolved to a powerful infrastructure component for event monitoring in many application scenarios. In addition to simple filter and aggregation op...
121
click to vote
3DIM
2003
IEEE
15 years 7 months ago
2003
IEEE
Cuneiform is the world’s oldest known writing system. Ancient scribes impressed reed styluses onto damp clay to write the approximately 900 different logographic, syllabic and t...
113
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
The programmable service for Internet telephony (VoIP) allows end-users or third parties to define their own customized services. However, it imposes a serious drawback that serv...