2585 search results - page 330 / 517 » computing 1999 |
119
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C...
145
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
140
Voted
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
137
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
108
click to vote
SIGADA
1999
Springer
15 years 8 months ago
1999
Springer
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...