670 search results - page 103 / 134 » Software safety: relating software assurance and software in... |
149
click to vote
SIAMREV
2011
14 years 9 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
159
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Effective coordination of robots, agents and people promises to improve the safety, robustness and quality with which shared goals are achieved by harnessing the highly heterogene...
162
click to vote
SBCCI
2006
ACM
16 years 1 days ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
182
click to vote
VISUALIZATION
1991
IEEE
15 years 9 months ago
1991
IEEE
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...
194
click to vote
EFDBS
2003
15 years 7 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...