1928 search results - page 147 / 386 » Integrity Constraints in OWL |
DAC
2004
ACM
16 years 1 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
87
Voted
VLSID
2005
IEEE
16 years 1 months ago
2005
IEEE
: The direct result of shrinking devices is not only higher densities but also increased switching activity and thus higher device temperatures. The variation in temperature over t...
106
Voted
ICSE
2007
IEEE-ACM
16 years 23 days ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
87
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
106
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...