4140 search results - page 376 / 828 » A Use Case Based Approach to Feature Models' Construction |
180
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
148
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
TAC-02 was the third in a series of Trading Agent Competition events fostering research in automating trading strategies by showcasing alternate approaches in an open-invitation m...
168
click to vote
SBBD
2004
15 years 8 months ago
2004
Flexible and dynamic environments are characterized by high independence from connection participants, low control over available services and high tolerance to communication fail...
182
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper presents a target tracking framework for unstructured
crowded scenes. Unstructured crowded scenes
are defined as those scenes where the motion of a crowd
appears to b...
187
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...