Sciweavers

1702 search results - page 176 / 341
» Doomed program points
Sort
View
CSFW
2007
IEEE
16 years 11 days ago
Dynamic Dependency Monitoring to Secure Information Flow
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
Paritosh Shroff, Scott F. Smith, Mark Thober
CIG
2005
IEEE
15 years 11 months ago
Bayesian Generation and Integration of K-nearest-neighbor Patterns for 19x19 Go
Abstract- This paper describes the generation and utilisation of a pattern database for 19x19 go with the Knearest-neighbor representation. Patterns are generated by browsing recor...
Bruno Bouzy, Guillaume Chaslot
IEEEICCI
2005
IEEE
15 years 11 months ago
An empirical study of programmer learning during incremental software development
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
Shaochun Xu, Václav Rajlich, Andrian Marcus
GECCO
2003
Springer
113views Optimization» more  GECCO 2003»
15 years 11 months ago
Predicate Expression Cost Functions to Guide Evolutionary Search for Test Data
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
Leonardo Bottaci
GW
2003
Springer
125views Biometrics» more  GW 2003»
15 years 11 months ago
Gesture Analysis: Invariant Laws in Movement
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
Sylvie Gibet, Jean-François Kamp, Franck Po...