7380 search results - page 895 / 1476 » Engineering Software Intensive Systems |
164
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
204
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
161
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
175
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...
133
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward ...