Sciweavers

4346 search results - page 335 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
AIM
2006
15 years 8 months ago
Increasing the benefit of analysis: The case of systems that support communication
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
Dov Te'eni, Roy Gelbard, Matti Sade
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 25 days ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
156
Voted
JCP
2007
120views more  JCP 2007»
15 years 6 months ago
Application of Multi-Attribute Decision Making Approach to Learning Management Systems Evaluation
—The article presents an approach to the development of multi-attribute decision making model that is based on DEX, an expert system shell for multi-attribute decision support. W...
Tanja Arh, Borka Jerman-Blazic
SMA
2003
ACM
154views Solid Modeling» more  SMA 2003»
15 years 12 months ago
Discretization of functionally based heterogeneous objects
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
Elena Kartasheva, Valery Adzhiev, Alexander A. Pas...
SDL
2003
158views Hardware» more  SDL 2003»
15 years 8 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi