854 search results - page 150 / 171 » Addressing Dynamic Issues of Program Model Checking |
106
click to vote
BIBE
2003
IEEE
15 years 7 months ago
2003
IEEE
We examine the organizational impact on phylogenetic databases of the increasing sophistication in the need and use of phylogenetic data. A primary issue is the use of the unnorma...
125
click to vote
HOTOS
2007
IEEE
15 years 6 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
107
click to vote
LISA
2007
15 years 4 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
120
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
122
click to vote
FIW
2000
15 years 3 months ago
2000
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...