244 search results - page 12 / 49 » General Refinement, Part Two: Flexible Refinement |
100
click to vote
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
101
click to vote
ICSOC
2004
Springer
15 years 3 months ago
2004
Springer
Service-oriented computing is meant to support loose relationships between organisations: Collaboration procedures on the application-level translate to interaction processes via ...
88
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
191
click to vote
Publication
With increasingly widespread use of computer networks, and the use of varied technology for the interconnection of computers, congestion is a significant problem. In this report, w...
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a flexible new technique to easily calibrate a camera. It only requires the camera to observe a planar pattern shown at a few (at least two) different orientations. Eit...