8190 search results - page 1609 / 1638 » From Timed to Hybrid Systems |
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
105
click to vote
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...
117
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
115
click to vote
ACSAC
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract Role-based access control RBAC has recently received a lot of attention due to its exibility, expressive power and simplicity in administration. In RBAC permissions are as...
104
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
To fulfill the requirement of fast interactive multidimensional data analysis, database systems precompute aggregate views on some subsets of dimensions and their corresponding hi...