Sciweavers

2588 search results - page 427 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
ICDE
2006
IEEE
152views Database» more  ICDE 2006»
16 years 5 months ago
U-Filter: A Lightweight XML View Update Checker
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...
Ling Wang, Elke A. Rundensteiner, Murali Mani
118
Voted
MODELS
2007
Springer
15 years 10 months ago
Useware Modeling for Ambient Intelligent Production Environments
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
Daniel Görlich, Kai Breiner
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 9 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
DAMON
2006
Springer
15 years 7 months ago
Using secure coprocessors for privacy preserving collaborative data mining and analysis
Secure coprocessors have traditionally been used as a keystone of a security subsystem, eliminating the need to protect the rest of the subsystem with physical security measures. ...
Bishwaranjan Bhattacharjee, Naoki Abe, Kenneth Gol...
126
Voted
SIGMOD
2008
ACM
118views Database» more  SIGMOD 2008»
15 years 3 months ago
NAGA: harvesting, searching and ranking knowledge
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
Gjergji Kasneci, Fabian M. Suchanek, Georgiana Ifr...