4418 search results - page 769 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
186
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
181
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
It is a challenging task to provide Quality of Service (QoS) control for a shared high-speed downlink packet access (HSDPA) wireless channel. In this paper, we first propose a ne...
166
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
174
click to vote
ASSETS
2004
ACM
15 years 11 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
176
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Camera networks have gained increased importance in
recent years. Previous approaches mostly used point correspondences
between different camera views to calibrate
such systems....