3926 search results - page 404 / 786 » A Logic of Object-Oriented Programs |
224
Voted
ICST
2008
IEEE
16 years 2 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
192
click to vote
IFIP
2001
Springer
16 years 4 days ago
2001
Springer
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
258
Voted
PLDI
2004
ACM
16 years 1 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
199
Voted
CSL
2004
Springer
16 years 1 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
268
Voted
TFM
2009
Springer
16 years 2 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...