2957 search results - page 211 / 592 » Processing Self Corrections |
IWPC
2003
IEEE
14 years 3 months ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
To date, automatic handwring recognition systems are far from being perfect and heavy human intervention is often required to check and correct the results of such systems. In ord...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...