535 search results - page 14 / 107 » Do we need dependent types |
WSCG
2003
13 years 9 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...
TROB
2008
13 years 7 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
SACMAT
2003
ACM
14 years 24 days ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC�...
DASFAA
1993
IEEE
13 years 11 months ago
1993
IEEE
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...