10072 search results - page 43 / 2015 » Composition of Model Programs |
121
click to vote
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
101
click to vote
ENTCS
2002
15 years 1 months ago
2002
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
128
click to vote
ENTCS
2002
15 years 1 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
124
Voted
AAAI
2008
15 years 4 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
123
click to vote
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...