3792 search results - page 326 / 759 » Techniques for Trusted Software Engineering |
210
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
138
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...
175
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
193
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Networks-on-Chip (NoC) is emerging as a practical development platform for future systems-on-chip products. We propose an energyefficient static algorithm which optimizes the ener...
195
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...