1579 search results - page 277 / 316 » A software development process supporting non-functional pro... |
135
click to vote
IJFCS
2006
15 years 4 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
160
click to vote
ICRE
2000
IEEE
15 years 8 months ago
2000
IEEE
In this article we show the results of an extensive research on scenario evolution. We investigated twelve case studies spanning over 200 scenarios that contained over 800 episode...
153
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
167
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Healthcare information systems play an important role in improving healthcare quality. As providing healthcare increasingly changes from isolated treatment episodes towards a cont...
149
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we consider the types of community networks that are most often codified within the Semantic Web. We propose the recognition of a new structure which fulfils the def...