2085 search results - page 235 / 417 » Special interest groups |
186
click to vote
PPPJ
2006
ACM
16 years 21 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
177
click to vote
ISCA
2005
IEEE
16 years 10 days ago
2005
IEEE
Recent years have seen a burgeoning interest in embedded wireless sensor networks with applications ranging from habitat monitoring to medical applications. Wireless sensor networ...
179
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
159
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
201
click to vote
VISUALIZATION
2005
IEEE
16 years 10 days ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...