6106 search results - page 917 / 1222 » Modes for Software Architectures |
113
Voted
ENTCS
2002
15 years 4 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
140
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Due to the distributed nature of Service-Oriented Architectures (SOA), maintaining control in a SOA environment becomes more difficult as services spread over different lines-of-b...
143
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
154
click to vote
ECBS
2010
IEEE
15 years 2 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
207
click to vote
ERSA
2010
15 years 2 months ago
2010
The pixel purity index algorithm is employed in remote sensing for analyzing hyperspectral images. A single pixel usually covers several different materials, and its observed spect...