Sciweavers

1476 search results - page 178 / 296
» Designing Communication-intensive Web Applications: a Case S...
Sort
View
JUCS
2008
145views more  JUCS 2008»
15 years 6 months ago
Ontoolcole: Supporting Educators in the Semantic Search of CSCL Tools
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
TRUSTBUS
2009
Springer
16 years 29 days ago
A Formalization of HIPAA for a Medical Messaging System
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
Peifung E. Lam, John C. Mitchell, Sharada Sundaram
ECSCW
2003
15 years 7 months ago
Tourism and Mobile Technology
While tourism presents considerable potential for the use of new mobile technologies, we currently have little understanding of how tourists organise their activities or of the pro...
Barry Brown, Matthew Chalmers
VSTTE
2010
Springer
15 years 4 months ago
Towards Scalable Modular Checking of User-Defined Properties
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Sh...
SC
1992
ACM
15 years 10 months ago
Parallel Program Performance Metrics: A Comparison and Validation
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
Jeffrey K. Hollingsworth, Barton P. Miller