319 search results - page 1 / 64 » Criteria for the verification of feature models |
INFORSID
2010
13 years 6 months ago
2010
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
ENTCS
2006
13 years 4 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
ECIS
2004
13 years 6 months ago
2004
Since the 1960's many authors accepted the triple constraints (time, cost, specification) as a standard measure of success and this still appears to be extremely important in...
SIGIR
2008
ACM
13 years 4 months ago
2008
ACM
It is difficult to apply machine learning to new domains because often we lack labeled problem instances. In this paper, we provide a solution to this problem that leverages domai...