866 search results - page 86 / 174 » A compositional semantics for CHR |
174
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
143
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
102
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
157
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
Color is one of the main visual cues and has been frequently used in image processing, analysis and retrieval. The extraction of highlevel color descriptors is an increasingly imp...
260
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...