Sciweavers

1012 search results - page 171 / 203
» Towards Component-Based Software Engineering
Sort
View
AUIC
2000
IEEE
15 years 2 months ago
Finger Tracking for the Digital Desk
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
Thomas Brown, Richard C. Thomas
IWPC
2000
IEEE
15 years 2 months ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark
KBSE
2000
IEEE
15 years 2 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
UIST
1998
ACM
15 years 1 months ago
Informative Things: How to Attach Information to the Real World
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...
Rob Barrett, Paul P. Maglio
79
Voted
CISSE
2007
Springer
15 years 1 months ago
Issues in Simulation for Valuing Long-Term Forwards
Abstract- This paper explores valuing long-term equity forwardcontracts or futures where both the underlying volatility and the interest rates are modeled as stochastic random vari...
Phillip G. Bradford, Alina Olteanu