407 search results - page 33 / 82 » An Automated Verification Method for Distributed Systems Sof... |
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
ICEIS
2000
IEEE
14 years 1 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...