1537 search results - page 197 / 308 » Domain-Specific Software Component Models |
132
click to vote
SIGIR
1995
ACM
15 years 8 months ago
1995
ACM
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
127
click to vote
SNPD
2004
15 years 5 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
143
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
119
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
127
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...