670 search results - page 102 / 134 » Software safety: relating software assurance and software in... |
158
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
166
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
172
Voted
HT
1991
ACM
15 years 9 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
159
click to vote
IESA
2007
15 years 7 months ago
2007
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...
163
click to vote
AVI
1996
15 years 7 months ago
1996
The Table Lens is a visualization for searching for patterns and outliers in multivariate datasets. It supports a lightweight form of exploratory data analysis (EDA) by integratin...