746 search results - page 120 / 150 » Formal Analysis of UML-Based Designs |
110
click to vote
JRTIP
2008
15 years 1 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
124
click to vote
INFOCOM
2010
IEEE
15 years 7 days ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
127
click to vote
STTT
2010
15 years 5 days ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
111
Voted
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
118
Voted
JCS
2011
14 years 8 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...