1613 search results - page 118 / 323 » Model-Driven Constraint Engineering |
121
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
135
Voted
TCBB
2010
14 years 10 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
137
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
134
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Efficient delivery of multimedia contents over wireless network is essential for future communication networks. However, content distribution and network engineering ar...
140
click to vote
REFSQ
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...