8828 search results - page 194 / 1766 » Formal methods in practice |
109
click to vote
ITC
1999
IEEE
15 years 9 months ago
1999
IEEE
Static Component Interconnection Test Technology (SCITT) is a new XNOR circuit based technology that is used for board-level interconnection test. SCITT provides an easy test meth...
193
click to vote
ICCD
1997
IEEE
15 years 8 months ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
128
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
183
click to vote
CBSQ
2003
Springer
15 years 10 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
136
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...