Sciweavers

352 search results - page 37 / 71
» Model-Based Development: Combining Engineering Approaches an...
Sort
View
VLDB
2002
ACM
151views Database» more  VLDB 2002»
15 years 5 months ago
Preference SQL - Design, Implementation, Experiences
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
Werner Kießling, Gerhard Köstler
PERSUASIVE
2010
Springer
15 years 10 months ago
Activity-Based Micro-pricing: Realizing Sustainable Behavior Changes through Economic Incentives
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
Tetsuo Yamabe, Vili Lehdonvirta, Hitoshi Ito, Hayu...
WADT
1998
Springer
15 years 9 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
TCBB
2008
137views more  TCBB 2008»
15 years 5 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
COMPSAC
2005
IEEE
15 years 11 months ago
Buffer Overrun Prevention Through Component Composition Analysis
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob...