369 search results - page 44 / 74 » diagrams 2008 |
58
Voted
CPHYSICS
2008
15 years 17 days ago
2008
Using extensive Brownian dynamics computer simulations, the long-time self-diffusion coefficient is calculated for Gaussian-core particles as a function of the number density. Bot...
114
Voted
DKE
2008
15 years 17 days ago
2008
XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for the conceptual schema of an XML model. Therefore, we propose an XML Tree Mo...
ENTCS
2008
15 years 16 days ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
110
Voted
ENTCS
2008
15 years 16 days ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
102
click to vote
ENTCS
2008
15 years 16 days ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...