1073 search results - page 120 / 215 » Reasoning about Continuous Processes |
GI
2009
Springer
14 years 2 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
ICSM
1996
IEEE
14 years 2 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
HPDC
1994
IEEE
14 years 2 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
3DPVT
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an alternate approach to the problem of structure from motion (SfM) with noisy point measurements. With no information available about the joint density of three-dimens...