1812 search results - page 133 / 363 » Dynamic Updating of Software Systems Based on Aspects |
150
click to vote
TIP
2002
15 years 6 months ago
2002
Dynamic magnetic resonance imaging (MRI) refers to the acquisition of a sequence of MRI images to monitor temporal changes in tissue structure. In this paper we present a method fo...
175
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
177
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Understanding the run-time behavior of object-oriented legacy systems is a complex task due to factors such as late binding and polymorphism. Current approaches extract and use in...
141
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an analysis of the major mechanical component (the thorax) of the micromechanical flying insect (MFI), a centimeter sized aerial vehicle currently in developm...
128
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper develops a distributed, threshold based MAC protocol for cooperative Multi Input Multi Output (MIMO) transmissions in distributed wireless systems. The protocol uses...