2500 search results - page 115 / 500 » Specifying Behavior in C |
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
SIAMDM
2008
14 years 9 months ago
2008
For a real c 1 and an integer n, let f(n, c) denote the maximum integer f such that every graph on n vertices contains an induced subgraph on at least f vertices in which the max...
ICARIS
2004
Springer
15 years 3 months ago
2004
Springer
We investigated a real-valued Negative Selection Algorithm (NSA) for fault detection in man-in-the-loop aircraft operation. The detection algorithm uses body-axes angular rate sens...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
In order to enrich XML with event driven, active behavior, the Active XML Schema approach defines active behavior within XML schemas along metadata, and stores traces of active b...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an approach that uses Q-learning on individual robotic agents, for coordinating a missiontasked team of robots in a complex scenario. To reduce the size of the state sp...