7681 search results - page 1284 / 1537 » Typed Membrane Systems |
184
click to vote
ICPP
1990
IEEE
15 years 11 months ago
1990
IEEE
All-to-all (ATA) reliable broadcast is the problem of reliably distributing information from every node to every other node in point-to-point interconnection networks. A good solut...
215
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
189
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
196
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
186
Voted
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...