7557 search results - page 47 / 1512 » Modeling Timed Concurrent Systems |
CONCURRENCY
2008
15 years 1 months ago
2008
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...
113
click to vote
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
117
click to vote
TIST
2011
14 years 8 months ago
2011
Recognition of chatting activities in social interactions is useful for constructing human social networks. However, the existence of multiple people involved in multiple dialogue...
103
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
114
click to vote
APPT
2003
Springer
15 years 6 months ago
2003
Springer
Increase in amount of data stored and requirement of fast response time has motivated the research in Parallel Database Systems (PDS). Requirement for correctness of data still rem...