1638 search results - page 180 / 328 » Properties of input-consuming derivations |
168
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Teaching (and therefore learning) eXtreme Programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-ha...
170
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks (WSNs) provide various environment data in the real-world, and also WSNs´s middleware is able to offer field data in real-time by user queries. For mate...
196
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used. To increas...
150
click to vote
CALCO
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
183
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...