1529 search results - page 194 / 306 » A Taxonomy of Software Component Models |
151
click to vote
SNPD
2004
15 years 7 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 (...
155
click to vote
CORR
2002
Springer
15 years 5 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...
133
click to vote
ICSE
2007
IEEE-ACM
16 years 5 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...
139
click to vote
SEKE
2005
Springer
15 years 11 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...
148
click to vote
CBSQ
2003
Springer
15 years 10 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...