2517 search results - page 191 / 504 » Specifying Weak Sets |
160
click to vote
CSCLP
2007
Springer
16 years 22 days ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
178
click to vote
FSEN
2007
Springer
16 years 22 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
176
click to vote
SIPS
2006
IEEE
16 years 17 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
185
click to vote
ADC
2006
Springer
16 years 16 days ago
2006
Springer
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
174
click to vote
SMA
2006
ACM
16 years 15 days ago
2006
ACM
Parametric and feature-based CAD models can be considered to represent families of similar objects. In current modelling systems, however, the semantics of such families are uncle...