746 search results - page 120 / 150 » Formal Analysis of UML-Based Designs |
130
Voted
JRTIP
2008
15 years 3 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...
142
Voted
INFOCOM
2010
IEEE
15 years 2 months 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 ...
144
Voted
STTT
2010
15 years 2 months 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...
129
Voted
EMSOFT
2010
Springer
15 years 1 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...
133
click to vote
JCS
2011
14 years 10 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...