784 search results - page 125 / 157 » Relaxing the Value Restriction |
ACSC
2004
IEEE
14 years 23 days ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
EUROMICRO
2004
IEEE
14 years 23 days ago
2004
IEEE
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
FORMATS
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
FSTTCS
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
GFKL
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Solving conflicts between overlapping databases requires an understanding of the reasons that lead to the inconsistencies. Provided that conflicts do not occur randomly b...