742 search results - page 81 / 149 » Set-based Concurrent Engineering |
101
Voted
FSTTCS
2010
Springer
15 years 12 days ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
125
Voted
ICFEM
2010
Springer
15 years 11 days ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
109
click to vote
SIGSOFT
2010
ACM
15 years 9 days ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
118
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper studies the reconstruction of unknown curved surfaces through finger tracking. A patch can be generated from tactile data points along three concurrent surface curves un...
159
click to vote
CIDR
2011
14 years 6 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...