4036 search results - page 718 / 808 » Formal Methods |
135
click to vote
RIAO
2004
15 years 7 months ago
2004
A group memory of a project is an information space storing the documents produced and exchanged by members of the group, which may include the electronic discussions that took pl...
158
click to vote
SERP
2004
15 years 7 months ago
2004
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
151
click to vote
IJCAI
2003
15 years 7 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
166
click to vote
NDQA
2003
15 years 7 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
151
click to vote
SERP
2003
15 years 7 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...