Sciweavers

2314 search results - page 63 / 463
» What's in a model
Sort
View
SOSYM
2002
74views more  SOSYM 2002»
13 years 7 months ago
On the interpretation of binary associations in the Unified Modelling Language
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
Perdita Stevens
ESWS
2005
Springer
14 years 1 months ago
Automatic Location of Services
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
Uwe Keller, Rubén Lara, Holger Lausen, Axel...
IAW
2003
IEEE
14 years 1 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
FLAIRS
1998
13 years 9 months ago
Function Modeling for an Integrated Framework: A Progress Report
This paper discusses some preliminary results of the author's on-going research into the representation of product function information for integrated knowledge-based environ...
Filippo A. Salustri
TOPNOC
2008
13 years 7 months ago
Constructive Alignment for Teaching Model-Based Design for Concurrency
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
Claus Brabrand