266 search results - page 35 / 54 » UML2Alloy: A Challenging Model Transformation |
78
Voted
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
AAAI
2007
14 years 11 months ago
2007
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workfl...
91
Voted
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new method to detect and accurately extract the moving object from a video sequence taken by a hand-held camera. In order to extract the high quality moving ...
IVA
2009
Springer
15 years 4 months ago
2009
Springer
Expressing spatial information with iconic gestures is abundant in human communication and requires to transform a referent representation into resembling gestural form. This task ...
184
Voted
INFOCOM
2011
IEEE
14 years 26 days ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...