1481 search results - page 160 / 297 » Enriching the Software Development Process by Formal Methods |
163
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
130
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
175
Voted
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
141
click to vote
CHI
2008
ACM
15 years 5 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
121
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...