3926 search results - page 25 / 786 » A Logic of Object-Oriented Programs |
TSE
2008
14 years 11 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
106
Voted
ICAS
2006
IEEE
15 years 5 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
133
click to vote
ISOOMS
1994
15 years 3 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
117
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
DAIS
2010
15 years 1 months ago
2010
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmi...