Sciweavers

2578 search results - page 338 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
134
Voted
JSS
2010
120views more  JSS 2010»
15 years 2 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
SACMAT
2010
ACM
15 years 8 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
141
Voted
ISM
2005
IEEE
120views Multimedia» more  ISM 2005»
15 years 9 months ago
MML: A Language for Modeling Interactive Multimedia Applications
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
Andreas Pleuß
150
Voted
ICS
2007
Tsinghua U.
15 years 9 months ago
A study of process arrival patterns for MPI collective operations
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
Ahmad Faraj, Pitch Patarasuk, Xin Yuan
144
Voted
APSEC
2002
IEEE
15 years 8 months ago
Integrating Use-Case Analysis and Task Analysis for Interactive Systems
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
Soon-Kyeong Kim, David A. Carrington