Sciweavers

3868 search results - page 3 / 774
» Open Systems in TLA
Sort
View
HPCNCS
2007
13 years 8 months ago
A Formal Approach for Identity Management in Federated Web Services
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...
ELPUB
2007
ACM
13 years 11 months ago
Openness in Higher Education: Open Source, Open Standards, Open Access
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
Brian Kelly, Scott Wilson, Randy Metcalfe
ICCS
2007
Springer
13 years 11 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
CC
2011
Springer
283views System Software» more  CC 2011»
12 years 11 months ago
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...
Dominik Grewe, Michael F. P. O'Boyle
ACL
2012
11 years 9 months ago
BIUTEE: A Modular Open-Source System for Recognizing Textual Entailment
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
Asher Stern, Ido Dagan