9110 search results - page 503 / 1822 » Formally-Based Design Evaluation |
174
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
146
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
179
click to vote
DSOM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
171
click to vote
RE
1995
Springer
15 years 10 months ago
1995
Springer
Non-Functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFRFramework treats NF...
207
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...