3385 search results - page 376 / 677 » Observer-Conditioned-Observable Design Pattern |
170
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
192
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a new method of selecting scan
ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
153
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
172
click to vote
ACL
2003
15 years 8 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
129
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...