4799 search results - page 626 / 960 » Model Based Requirements Engineering for Embedded Software |
188
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
187
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
157
click to vote
ADAEUROPE
2003
Springer
15 years 10 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
196
click to vote
CCE
2010
15 years 4 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...
183
click to vote
CITA
2005
IEEE
16 years 10 days ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...