8555 search results - page 147 / 1711 » Property Based Coordination |
144
click to vote
EH
1999
IEEE
15 years 8 months ago
1999
IEEE
A small gate array is evolved extrinsically to carry out a low pass filtering task defined over fifteen different frequencies. The circuit is evolved by assessing its response to ...
107
click to vote
DSVIS
1995
Springer
15 years 7 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
149
click to vote
SIS
2007
15 years 5 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
130
click to vote
IASTEDSE
2004
15 years 5 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...