4418 search results - page 140 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
126
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
138
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
157
click to vote
BRAIN
2010
Springer
15 years 1 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
135
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
131
click to vote
IADIS
2003
15 years 5 months ago
2003
The increasing demand for group support in software has drawn more attention to the field of designing Group Support Systems. Notwithstanding all the research in this field the pr...