12289 search results - page 206 / 2458 » System modeling with mixed object and data models |
142
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
126
click to vote
FMOODS
2007
15 years 6 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
153
click to vote
ISCAPDCS
2004
15 years 6 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
151
click to vote
DAWAK
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Data Warehouse (DWH) information is accessed by business processes. Today, no conceptual models exist that make the relationship between the DWH and the business processe...
132
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...