1527 search results - page 169 / 306 » From Requirements to Design: Formalizing the Key Steps |
150
click to vote
JUCS
2008
15 years 6 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...
189
click to vote
MTDT
2003
IEEE
15 years 11 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
182
click to vote
ICPADS
2006
IEEE
16 years 16 days ago
2006
IEEE
In battery powered systems such as wireless sensor networks, energy efficiency is one of the most important system design goals. In this paper, energy efficiency is examined fro...
169
click to vote
HT
2005
ACM
16 years 2 days ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...