380 search results - page 4 / 76 » The End of Science Revisited |
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
RE
2008
Springer
14 years 9 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
MFCS
2010
Springer
14 years 8 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
PDPTA
2000
14 years 11 months ago
2000
This paper introduces the principles behind Enterprise JavaBeans including examples of both session and entity beans. It also discusses techniques for incorporating Enterprise Jav...
VTS
1997
IEEE
15 years 1 months ago
1997
IEEE
Two fast algorithms for static test sequence compaction are proposed for sequential circuits. The algorithms are based on the observation that test sequences traverse through a sm...