561 search results - page 104 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
118
Voted
CADE
2009
Springer
16 years 8 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
126
click to vote
DSRT
2008
IEEE
15 years 1 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
99
Voted
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
— Development in new radio technologies and increase in user demands are driving the deployment of a wide array of wireless networks, ranging from 802.11 networks in the local ar...
IUI
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
118
click to vote
ICN
2007
Springer
15 years 5 months ago
2007
Springer
— The fields of autonomics and system configuration share a common goal in decreasing the cost of ownership of large fabrics. In this paper we present a combined vision in whic...