Sciweavers

913 search results - page 172 / 183
» Formal Agent Development: Framework to System
Sort
View
IEEEPACT
2006
IEEE
15 years 5 months ago
Testing implementations of transactional memory
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi...
99
Voted
SP
2008
IEEE
129views Security Privacy» more  SP 2008»
15 years 6 months ago
Secure Web Browsing with the OP Web Browser
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
Chris Grier, Shuo Tang, Samuel T. King
WWW
2003
ACM
16 years 10 days ago
The chatty web: emergent semantics through gossiping
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
Karl Aberer, Manfred Hauswirth, Philippe Cudr&eacu...
SIGMOD
1997
ACM
166views Database» more  SIGMOD 1997»
15 years 3 months ago
The InfoSleuth Project
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
Roberto J. Bayardo Jr., William Bohrer, Richard S....
98
Voted
BIS
2007
147views Business» more  BIS 2007»
15 years 1 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil