958 search results - page 93 / 192 » Model Transformation Languages and Their Implementation by B... |
234
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
126
click to vote
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
128
click to vote
KDD
1999
ACM
15 years 5 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
112
click to vote
TREC
2007
2007
Exploring Traits of Adjectives to Predict Polarity Opinion in Blogs and Semantic Filters in Genomics
15 years 2 months ago
: This paper presents the results of our team in the Genomics and Blog tracks in TREC 2007. We used the language model implementation provided by Indri for both tracks. For the BLO...
WSC
1998
15 years 2 months ago
1998
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...