Sciweavers

2190 search results - page 59 / 438
» Constructing Use Case Model by Using a Systematic Approach: ...
Sort
View
JSS
2010
120views more  JSS 2010»
13 years 3 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
JASSS
1998
82views more  JASSS 1998»
13 years 8 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ISAS
2004
Springer
14 years 2 months ago
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
Stefano Porcarelli, Felicita Di Giandomenico, Paol...
NCA
2003
IEEE
14 years 2 months ago
A Study of Providing Statistical QoS in a Differentiated Sevices Network
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
Shengquan Wang, Dong Xuan, Riccardo Bettati, Wei Z...
DLOG
2003
13 years 10 months ago
Conceptual Modeling with Description Logics
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Alexander Borgida, Ronald J. Brachman