Sciweavers

2131 search results - page 141 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
14 years 10 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
APSEC
2005
IEEE
15 years 3 months ago
Architectural Style - Based Modeling and Simulation of Complex Software Systems
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
Ping Guo, Gregor Engels, Reiko Heckel
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 2 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
ISHPC
2003
Springer
15 years 3 months ago
Online Remote Trace Analysis of Parallel Applications on High-Performance Clusters
The paper presents the design and development of an online remote trace measurement and analysis system. The work combines the strengths of the TAU performance system with that of ...
Holger Brunst, Allen D. Malony, Sameer Shende, Rob...
HICSS
2000
IEEE
130views Biometrics» more  HICSS 2000»
15 years 2 months ago
Towards a Relationship Navigation Analysis
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
Joonhee Yoo, Michael Bieber