4799 search results - page 413 / 960 » Model Based Requirements Engineering for Embedded Software |
166
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
182
Voted
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
209
Voted
IUI
2004
ACM
16 years 29 days ago
2004
ACM
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
200
Voted
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
192
click to vote
AINA
2010
IEEE
16 years 19 days ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...