Sciweavers

666 search results - page 76 / 134
» Component-Based Design and Analysis: A Case Study
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 3 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
INTERACT
2007
15 years 1 months ago
Face-to-Face Sociability Signs Made Explicit in CMC
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...
Carla Faria Leitão, Clarisse Sieckenius de ...
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 1 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen
DAI
1995
Springer
15 years 3 months ago
A Methodology for Developing Agent Based Systems
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
Elizabeth A. Kendall, Margaret T. Malkoun, Chong H...
CONEXT
2007
ACM
15 years 3 months ago
Modeling the adoption of new network architectures
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
Dilip Antony Joseph, Nikhil Shetty, John Chuang, I...