1471 search results - page 40 / 295 » Composing concurrency control |
111
click to vote
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
100
click to vote
FCSC
2010
14 years 7 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
107
click to vote
ICEIS
2003
IEEE
15 years 3 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...