3954 search results - page 703 / 791 » Image-based Model Completion |
133
Voted
SPAA
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...
135
click to vote
HPDC
2009
IEEE
15 years 9 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
129
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
131
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...