Sciweavers

6141 search results - page 321 / 1229
» Models and representation of their ownership
Sort
View
EVOW
2005
Springer
16 years 4 days ago
Heuristic Colour Assignment Strategies for Merge Models in Graph Colouring
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
István Juhos, Attila Tóth, Jano I. v...
ITS
2004
Springer
137views Multimedia» more  ITS 2004»
16 years 1 days ago
Integrating Intelligent Agents, User Models, and Automatic Content Categorization in a Virtual Environment
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
Cássia Trojahn dos Santos, Fernando Santos ...
191
Voted
IAW
2003
IEEE
15 years 12 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
CAISE
2003
Springer
15 years 12 months ago
Modeling Organizational Architectural Styles in UML
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...
Jaelson Castro, Carla T. L. L. Silva, John Mylopou...
ECOOP
2000
Springer
15 years 11 months ago
UML-F: A Modeling Language for Object-Oriented Frameworks
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe