Sciweavers

34 search results - page 6 / 7
» Observational Equivalence for the Interaction Combinators an...
Sort
View
ASM
2003
ASM
13 years 11 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
BMCBI
2006
108views more  BMCBI 2006»
13 years 5 months ago
An improved map of conserved regulatory sites for Saccharomyces cerevisiae
Background: The regulatory map of a genome consists of the binding sites for proteins that determine the transcription of nearby genes. An initial regulatory map for S. cerevisiae...
Kenzie D. MacIsaac, Ting Wang, D. Benjamin Gordon,...
HICSS
2003
IEEE
146views Biometrics» more  HICSS 2003»
13 years 11 months ago
A Model for the Emergence and Diffusion of Software Standards
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
Tim Stockheim, Michael Schwind, Wolfgang Köni...
RAID
2005
Springer
13 years 11 months ago
Defending Against Injection Attacks Through Context-Sensitive String Evaluation
Abstract. Injection vulnerabilities pose a major threat to applicationlevel security. Some of the more common types are SQL injection, crosssite scripting and shell injection vulne...
Tadeusz Pietraszek, Chris Vanden Berghe
CVPR
2007
IEEE
14 years 7 months ago
A Unified Probabilistic Framework for Facial Activity Modeling and Understanding
Facial activities are the most natural and powerful means of human communication. Spontaneous facial activity is characterized by rigid head movements, non-rigid facial muscular m...
Yan Tong, Wenhui Liao, Zheng Xue, Qiang Ji