1139 search results - page 199 / 228 » Aligning Goal Models and Business Models - extended abstract |
131
click to vote
MCS
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
128
click to vote
ICRA
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract— For many tasks in populated environments, robots need to keep track of present and future motion states of people. Most approaches to people tracking make weak assumpti...
116
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
132
click to vote
CADE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
145
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...