2500 search results - page 444 / 500 » Logical Semantics of Modularisation |
190
click to vote
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
118
Voted
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
120
click to vote
EDBTW
2010
Springer
15 years 9 months ago
2010
Springer
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
122
click to vote
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...