3824 search results - page 360 / 765 » Geometry Constructions Language |
129
click to vote
TCBB
2010
15 years 3 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
167
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
134
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
145
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
177
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...