443 search results - page 55 / 89 » Automatic generation of bus functional models from transacti... |
INAP
2001
Springer
14 years 28 days ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
DEBU
2008
13 years 8 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
NN
1998
Springer
13 years 8 months ago
1998
Springer
Visual information is processed in the posterior parietal cortex for the hypothesized purpose of extracting a variety of affordances for the generation of motor behavior. The term...