Sciweavers

404 search results - page 52 / 81
» Temporal Constraints in Non-temporal Data Modelling Language...
Sort
View
138
Voted
ENTCS
2006
231views more  ENTCS 2006»
15 years 3 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
181
Voted
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 1 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
140
Voted
JMLC
1997
Springer
15 years 7 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
134
Voted
RTDB
2001
83views more  RTDB 2001»
15 years 5 months ago
Updates and View Maintenance
A database system contains base data items which record and model a physical, real world environment. For better decision support, base data items are summarized and correlated to...
Ben Kao, Kam-yiu Lam, Brad Adelberg
134
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
Efficient Generation of Motion Transitions Using Spacetime Constraints
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
Charles Rose, Brian K. Guenter, Bobby Bodenheimer,...