Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
This research explores the utility of a multimodal surface computer for supporting medical communication between older adults and health care providers. Research involves a field ...
With the rapid emergence of Web services, more and more Web services are published on the Internet as resources for Web application development. There may exist some relationships ...
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
M. Brian Blake, Kevin Cleary, Sohan Ranjan, Luis I...