742 search results - page 86 / 149 » Set-based Concurrent Engineering |
96
Voted
CHI
2004
ACM
16 years 2 months ago
2004
ACM
DiamondSpin is a toolkit for the efficient prototyping of and experimentation with multi-person, concurrent interfaces for interactive shared displays. In this paper, we identify ...
121
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
120
Voted
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
107
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
121
Voted
ICEBE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...