937 search results - page 50 / 188 » On the Complexity of Partial Order Properties |
134
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
150
click to vote
LCN
2005
IEEE
15 years 11 months ago
2005
IEEE
— Recent advances in microelectronic technology have made it possible to construct compact and inexpensive wireless sensors. Sensor networks have received significant attention ...
190
click to vote
ALGORITHMICA
2008
15 years 6 months ago
2008
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supe...
189
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
137
click to vote
TACAS
2007
Springer
16 years 2 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...