Sciweavers

5804 search results - page 305 / 1161
» Doing more with less
Sort
View
SOCO
2005
Springer
16 years 7 days ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
16 years 4 days ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CSB
2003
IEEE
101views Bioinformatics» more  CSB 2003»
16 years 1 days ago
Stochastic Stage-structured Modeling of the Adaptive Immune System
We have constructed a computer model of the cytotoxic T lymphocyte (CTL) response to antigen and the maintenance of immunological memory. Because immune responses often begin with...
Dennis L. Chao, Miles P. Davenport, Stephanie Forr...
WSE
2003
IEEE
16 years 17 hour ago
Considering Browser Interaction in Web Application Testing
As web applications evolves, their structure may become more and more complex. Thus, systematic approaches/methods for web application testing are needed. Existing methods take in...
Giuseppe A. Di Lucca, Massimiliano Di Penta
DAGM
2003
Springer
15 years 12 months ago
Automatic Pixel Selection for Optimizing Facial Expression Recognition Using Eigenfaces
A new direction in improving modern dialogue systems is to make a human-machine dialogue more similar to a human-human dialogue. This can be done by adding more input modalities, e...
Carmen Frank, Elmar Nöth