Sciweavers

1100 search results - page 45 / 220
» Instrumenting annotated programs
Sort
View
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
15 years 7 months ago
Multistage investments with recourse: A single-asset case with transaction costs
— We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are as...
Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El G...
124
Voted
HAPTICS
2006
IEEE
15 years 7 months ago
Adaptation of Haptic Interfaces for a LabVIEW-based System Dynamics Course
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
Kevin Bowen, Marcia Kilchenman O'Malley
117
Voted
SAC
2006
ACM
15 years 7 months ago
Dynamic instantiation-checking components
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
Nigamanth Sridhar
100
Voted
ICTCS
2005
Springer
15 years 6 months ago
Checking Risky Events Is Enough for Local Policies
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
117
Voted
NIME
2001
Springer
126views Music» more  NIME 2001»
15 years 5 months ago
Problems and Prospects for Intimate Musical Control of Computers
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
David Wessel, Matthew Wright