1983 search results - page 253 / 397 » User Interface Modelling with UML |
116
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
119
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
123
Voted
EDUTAINMENT
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we describe a framework for generating 3D paper-cutting effects on mesh models. The framework involves the construction of model defined paper-cutting patterns, extr...
126
Voted
CONSTRAINTS
1998
15 years 3 months ago
1998
Most current graph layout technology does not lend itself to interactive applications such as animation or advanced user interfaces. We introduce the constrained graph layout model...