Sciweavers

9503 search results - page 215 / 1901
» Authenticated System Calls
Sort
View
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
16 years 7 months ago
A system for specification and verification of interactive, data-driven web applications
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
IPPS
2007
IEEE
16 years 1 months ago
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
Michel Dubois, Hyunyoung Lee, Lan Lin
KBSE
2005
IEEE
16 years 23 days ago
Bamboo: an architecture modeling and code generation framework for configuration management systems
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
Guozheng Ge, E. James Whitehead Jr.
ECWEB
2010
Springer
155views ECommerce» more  ECWEB 2010»
15 years 5 months ago
Partial Ranking of Products for Recommendation Systems
A recommendation system (or recommender) is an algorithm whose goal is to recommend products to potential users. To achieve its task, it uses information about some user preference...
Sébastien Hémon, Thomas Largillier, ...
BTW
2001
Springer
103views Database» more  BTW 2001»
15 years 11 months ago
On Realizing Transformation Independence in Open, Distributed Multimedia Information Systems
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
Ulrich Marder