3387 search results - page 528 / 678 » Automating the Metamodeling Process |
165
click to vote
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
173
click to vote
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
168
click to vote
ICMI
2007
Springer
16 years 16 days ago
2007
Springer
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
161
click to vote
ICSOC
2007
Springer
16 years 16 days ago
2007
Springer
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...
177
click to vote
ICWE
2007
Springer
16 years 16 days ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...