809 search results - page 130 / 162 » Requirements by Contracts allow Automated System Testing |
106
click to vote
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
DAC
2004
ACM
16 years 22 days ago
2004
ACM
Reconfigurable Systems-on-Chip (SoCs) on the market consist of full-fledged processors and large Field-Programmable Gate-Arrays (FPGAs). The latter can be used to implement the sy...
79
Voted
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper describes work we have done in developing an insertable surgical imaging device with multiple degrees-of-freedom for minimally invasive surgery. The device i...
103
click to vote
GIS
2009
ACM
15 years 6 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
102
click to vote
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...