2516 search results - page 202 / 504 » Integrity Constraints for XML |
160
click to vote
CAISE
2000
Springer
15 years 11 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 ...
204
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
171
click to vote
IJAIT
2002
15 years 6 months ago
2002
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
181
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...
186
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
- Stable and effective enforcement of hard constraints is one of the crucial components in controlling physics-based dynamic simulation systems. The conventional explicit Baumgarte...