1912 search results - page 232 / 383 » On the evaluation of argumentation formalisms |
161
click to vote
ER
2007
Springer
16 years 18 days ago
2007
Springer
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
198
click to vote
IFIP
2007
Springer
16 years 18 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
181
click to vote
IFM
2007
Springer
16 years 17 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
151
click to vote
MODELS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
165
click to vote
PPAM
2007
Springer
16 years 17 days ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...