8109 search results - page 272 / 1622 » A Model of Component-Based Programming |
159
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
185
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
206
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
245
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
170
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...