1183 search results - page 189 / 237 » Model Transformation for Service-Oriented Web Applications D... |
LISP
2008
14 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ENVSOFT
2002
14 years 9 months ago
2002
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
QOSA
2010
Springer
15 years 1 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
120
click to vote
SIGIR
2012
ACM
13 years 4 days ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...
104
click to vote
IMAGING
2000
14 years 11 months ago
2000
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...