Sciweavers

689 search results - page 46 / 138
» Encapsulation theory fundamentals
Sort
View
UML
2001
Springer
14 years 2 months ago
The Essence of Multilevel Metamodeling
Abstract. As the UML attempts to make the transition from a single, albeit extensible, language to a framework for a family of languages, the nature and form of the underlying meta...
Colin Atkinson, Thomas Kühne
SEMWEB
2009
Springer
14 years 4 months ago
Axiomatic First-Order Probability
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
Kathryn B. Laskey
ECIS
2000
13 years 11 months ago
Pricing Digital Information Goods and Services on the Net
Many analysts argue that the Internet is producing a fundamental change in the way that business works. The network economy grows faster every day. Internet markets are developing ...
Laurent L. Pauwels, Paul B. McLeod
ESOP
2009
Springer
14 years 4 months ago
Conversation Types
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
Luís Caires, Hugo Torres Vieira
HT
2009
ACM
14 years 4 months ago
Comparing spatial hypertext collections
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...
J. Nathan Matias, David P. Williams