525 search results - page 67 / 105 » Model Checking Systems of Replicated Processes with Spin |
102
click to vote
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
122
click to vote
LCPC
2009
Springer
15 years 5 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
122
Voted
EDM
2009
14 years 10 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...
140
click to vote
ATC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...