8109 search results - page 491 / 1622 » A Model of Component-Based Programming |
159
click to vote
SIGADA
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
171
click to vote
ADAEUROPE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
184
click to vote
ICLP
2003
Springer
16 years 27 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
168
click to vote
COMPSAC
2002
IEEE
16 years 20 days ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
212
click to vote
MATA
2001
Springer
16 years 4 days ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...