1626 search results - page 6 / 326 » The method evaluation model: a theoretical model for validat... |
DSVIS
1997
Springer
13 years 10 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
CAISE
2009
Springer
14 years 26 days ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
RCIS
2010
13 years 4 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
MEMOCODE
2003
IEEE
13 years 11 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
ESORICS
2006
Springer
13 years 10 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...