10159 search results - page 1803 / 2032 » System Design Validation Using Formal Models |
171
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...
197
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
We sought to create a social embodied conversational agent to support group interactions, using ‘balance theory’ from social science research on human-human relations. We cond...
199
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Mobile agents are autonomous programs that migrate from one machine to another within a network on behalf of a client, thus, they are ideal for mobile computing environments since ...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
198
click to vote
ICARCV
2002
IEEE
15 years 11 months ago
2002
IEEE
With the advances in digital imagery, large accessible data storage, internet repositories, and image applications, information conveyed through images is gaining in importance. T...