Sciweavers

12670 search results - page 152 / 2534
» Requirements Modeling
Sort
View
170
Voted
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 10 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
170
Voted
DAMON
2008
Springer
15 years 5 months ago
Modeling the performance of algorithms on flash memory devices
NAND flash memory is fast becoming popular as a component of large scale storage devices. For workloads requiring many random I/Os, flash devices can provide two orders of magnitu...
Kenneth A. Ross
177
Voted
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 4 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
136
Voted
EDBT
2008
ACM
202views Database» more  EDBT 2008»
16 years 3 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...
CSEE
2009
Springer
15 years 10 months ago
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
Olly Gotel, Vidya Kulkarni, Moniphal Say, Christel...