10241 search results - page 1575 / 2049 » Goal-Driven Software Development |
149
click to vote
DSVIS
2008
Springer
2008
Springer
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
15 years 6 months ago
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
146
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
174
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
208
click to vote
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
171
Voted
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...