1137 search results - page 194 / 228 » Disciplined Methods of Software Specification: A Case Study |
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
79
Voted
CASES
2006
ACM
15 years 1 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
79
Voted
COST
2007
Springer
15 years 3 months ago
2007
Springer
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
75
Voted
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
UML
2000
Springer
15 years 1 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...