4604 search results - page 267 / 921 » Concurrency in Synchronous Systems |
160
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
255
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Synchronous transactional logging is the central mechanism for ensuring data persistency and recoverability in database systems. Unfortunately, magnetic disks are ill-suited for t...
180
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
220
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
157
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...