2436 search results - page 367 / 488 » Comonadic Notions of Computation |
129
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
133
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
—Mobile robot teams are increasingly deployed in various applications involving remote operations in unstructured environments that do not support wireless network infrastructure...
133
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
135
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
151
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...