4460 search results - page 425 / 892 » Formal methods for interactive systems |
156
click to vote
JAMIA
2011
14 years 9 months ago
2011
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
210
Voted
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
187
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
214
click to vote
LWA
2007
15 years 8 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...
169
click to vote
ISCC
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper, we propose a serving system consisting intelligent agents processing society information in a multi-user domain. The agents use the similarity information on the us...