1728 search results - page 68 / 346 » Formal Modeling of Process Migration |
RE
2002
Springer
14 years 10 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
94
Voted
APSEC
2004
IEEE
15 years 2 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
JOT
2010
14 years 9 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...