1099 search results - page 154 / 220 » Using Transformation Systems for Software Maintenance and Re... |
140
Voted
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
162
click to vote
UIST
2000
ACM
15 years 7 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
114
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
105
click to vote
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Often collaborative graphical systems lag behind well accepted single-user applications in terms of features supported. The frequently used operations of group/ungroup offered by ...
119
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
High-performance computing clusters running longlived tasks currently cannot have kernel software updates applied to them without causing system downtime. These clusters miss oppo...