2702 search results - page 270 / 541 » Requirements Processes: An Experience Report |
189
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
185
click to vote
SSDBM
2000
IEEE
15 years 11 months ago
2000
IEEE
Fast retrieval of time series in terms of their contents is important in many application domains. This paper studies database techniques supporting fast searches for time series ...
196
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
160
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...
160
click to vote
EMO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents results of extensive computational experiments in which evolutionary multiobjective algorithms were used to find Pareto-optimal solutions to a complex structura...