7027 search results - page 1131 / 1406 » Software process: a roadmap |
184
click to vote
MEMOCODE
2003
IEEE
16 years 21 hour ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
194
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
192
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
205
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
246
click to vote
DELOS
2007
15 years 8 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...