Sciweavers

8982 search results - page 336 / 1797
» Applications of Aglet Technology
Sort
View
WWW
2010
ACM
16 years 2 months ago
Sig.ma: live views on the web of data
Abstract. We demonstrate Sig.ma, both a service and an end user application to browse and perform tasks leveraging data coming from dozens of distributed and unrelated sources on t...
Giovanni Tummarello, Richard Cyganiak, Michele Cat...
RULEML
2009
Springer
16 years 2 months ago
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
Abstract. In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR...
Thomas F. Gordon, Guido Governatori, Antonino Roto...
IJCNN
2007
IEEE
16 years 1 months ago
Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
Raihan H. Kibria
AICT
2006
IEEE
128views Communications» more  AICT 2006»
16 years 1 months ago
Duality in Web Services Reliability
The Web services technology allows for easy creation of complex applications consisting of smaller components - Web services. This article performs an in-depth analysis of a Web s...
Witold Abramowicz, Monika Kaczmarek, Dominik Zysko...
DEXA
2005
Springer
90views Database» more  DEXA 2005»
16 years 1 months ago
Transaction Management with Integrity Checking
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
Davide Martinenghi, Henning Christiansen