4172 search results - page 186 / 835 » Computing Machinery and Understanding |
133
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
118
Voted
TABLETOP
2008
IEEE
15 years 10 months ago
2008
IEEE
To date, digital tabletop research has predominantly focused on resolving fundamental software and hardware challenges introduced by this new interactive platform. Understanding n...
124
Voted
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
The successful execution of workflows using mobile services is dependant on the services behaving as expected. The management of this behaviour in Akogrimo is achieved by a contex...
113
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— Data mining in biological structure libraries can be a powerful tool to better understand biochemical processes. This article introduces the LISA algorithm which enables the re...
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Understanding how a single edge deletion can affect the connectivity of a graph amounts to finding the graph bridges. But when faced with d > 1 deletions, can we establish as ...