Sciweavers

3432 search results - page 20 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
DLOG
2009
13 years 6 months ago
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
Felix Distel
WSC
2007
13 years 11 months ago
Requirements and design principles for multisimulation with multiresolution, multistage multimodels
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
Levent Yilmaz, Alvin Lim, Simon Bowen, Tuncer I. &...
ACL
2008
13 years 10 months ago
SIDE: The Summarization Integrated Development Environment
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
Moonyoung Kang, Sourish Chaudhuri, Mahesh Joshi, C...
ICALP
2000
Springer
14 years 7 days ago
Formalizing the Development of Agent-Based Systems Using Graph Processes
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
Ralph Depke, Reiko Heckel
ISORC
2000
IEEE
14 years 6 days ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm