4350 search results - page 505 / 870 » Case studies for contract-based systems |
228
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Reverse engineering methods produce different descriptions of software architectures. In this work we analyze and define the task of exploring and comparing these descriptions. ...
197
click to vote
VR
2010
IEEE
15 years 6 months ago
2010
IEEE
Clicking is a key feature any interaction input system needs to provide. In the case of 3D input devices, such a feature is often difficult to provide (e.g. vision-based, or trac...
170
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
We study a deployment strategy for a group of vehicles that drift in an ambient flow field. Specifically, we address the case where the flow is always greater in magnitude than an ...
191
click to vote
JMLR
2011
15 years 2 months ago
2011
This paper reviews a class of methods to perform causal inference in the framework of a structural vector autoregressive model. We consider three different settings. In the first ...
230
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...