287 search results - page 12 / 58 » Automated abstraction of class diagrams |
UML
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
IFM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
DLOG
2008
13 years 9 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
ECSQARU
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
TPHOL
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...