16216 search results - page 255 / 3244 » Effective Modeling with Constraints |
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
152
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
184
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
183
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The aim of this paper is to examine the effect of camera motion in user generated video with respect to human visual attention. Having a more accurate human attention model is par...
166
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...