1893 search results - page 179 / 379 » Computational composites |
103
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
111
click to vote
ICDCS
1998
IEEE
15 years 5 months ago
1998
IEEE
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
124
click to vote
ICGI
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
80
Voted
ECOOPW
1997
Springer
15 years 5 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...