3514 search results - page 342 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
156
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
130
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
126
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
How to implement an IS (information system) successfully remains a problem. To address this, drawing on information processing theory, this study proposes an integrated model that...
146
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
118
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...