98 search results - page 4 / 20 » Constraints as polymorphic connectors |
69
Voted
CP
2007
Springer
15 years 4 months ago
2007
Springer
: This report introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time co...
81
Voted
ISTA
2003
14 years 11 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
APSEC
2004
IEEE
15 years 2 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
107
Voted
SAS
1994
Springer
15 years 2 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
CCL
1994
Springer
15 years 2 months ago
1994
Springer