5863 search results - page 826 / 1173 » On Model-Checking of P Systems |
275
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this poster, a tool named BUCEFALO is presented. This tool is specially designed to improve the information retrieval tasks in web-based Personal Health Records (PHR). This too...
143
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Most RDF query languages allow for graph structure search through a conjunction of triples which is typically processed using join operations. A key factor in optimizing joins is ...
175
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...
175
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Content personalization is a very important aspect in the field of e-learning, although current standards do not fully support it. In this paper, we outline an extension to the AD...
167
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Drawing on an ethnographic study of hospital work in an operating room, we present the design and implementation of a web-based role-playing application of a master schedule. We s...