36320 search results - page 172 / 7264 » From Code to Models |
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
137
click to vote
AIME
2003
Springer
15 years 11 months ago
2003
Springer
Health promotion is a complex activity that requires both explanation and persuasion skills. This paper proposes a three-layered model of dialogue coding, based on a rhetorical arg...
162
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
187
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
An optimized scheme of multiplexing coded mesh and texture data to facilitate progressive transmission of 3D textured models is proposed in this work. The mesh and texture data of...
127
click to vote
HASE
2007
IEEE
16 years 23 days ago
2007
IEEE
—Modeling to predict faultproneness of software modules is an important area of research in software engineering. Most such models employ a large number ...