4476 search results - page 568 / 896 » Modeling software architectures in the Unified Modeling Lang... |
181
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
199
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
193
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
213
click to vote
SAC
2003
ACM
16 years 20 days ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
200
click to vote
FM
2001
Springer
15 years 12 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...