Sciweavers

15155 search results - page 2496 / 3031
» System Software
Sort
View
DLOG
2003
15 years 8 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
ISTA
2004
15 years 8 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
IAAI
2003
15 years 8 months ago
Qualitative Spatial Reasoning about Sketch Maps
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapm...
PDPTA
2004
15 years 8 months ago
MP-Cluma - A CORBA Based Cluster Management Tool
There are many underlying hardware architectures for execution of parallel applications. One of these is the Network of Workstations (NOW) which is an interesting solution for use...
Silke Schuch, Martin Pöppe
WICSA
2004
15 years 8 months ago
An Architectural Approach to Mobility - The Handover Case Study
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Cristóvão Oliveira, Michel Wermeling...
« Prev « First page 2496 / 3031 Last » Next »