3885 search results - page 168 / 777 » Clarifying Goal Models |
116
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
On the classical discrete grid, the analysis of digital straight lines (DSL for short) has been intensively studied for nearly half a century. In this article, we are interested i...
138
click to vote
JNW
2008
15 years 4 months ago
2008
CPU utilization, throughput, turnaround time, waiting time, and response time are the factor to influence system performance. Every system uses different scheduling algorithms to a...
128
click to vote
ENTCS
2007
15 years 4 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Recent progresses in ultra low power microelectronics propelled the development of several microsensors and particularly the self powered microsystems (SPMS). One of their limitat...
117
click to vote
COLING
2010
14 years 11 months ago
2010
The goal of this work is to produce a classifier that can distinguish subjective sentences from objective sentences for the Urdu language. The amount of labeled data required for ...