2106 search results - page 227 / 422 » Specifying C concepts |
177
Voted
CGI
2006
IEEE
15 years 9 months ago
2006
IEEE
The modelling method for creating 3D models in an intuitive way is far from satisfactory. In this paper, we develop a novel mesh fusion method controlled by sketches, which allows...
124
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Role-Based Access Control (RBAC) is a widely used model for expressing access control policies. In large organizations, the RBAC policy may be collectively managed by many adminis...
118
Voted
NSPW
2006
ACM
15 years 9 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
147
Voted
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
105
Voted
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...