850 search results - page 99 / 170 » An Expeditious Approach to Modeling IDE Interaction Design |
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
SI3D
1999
ACM
15 years 2 months ago
1999
ACM
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
ACSC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
DBSEC
2004
14 years 11 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
BMCBI
2004
14 years 9 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...