10908 search results - page 298 / 2182 » Requirements Engineering Tasks |
160
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
115
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
Triggering shortcuts or actions on a mobile device often requires a long sequence of key presses. Because the functions of buttons are highly dependent on the current applicationā...
154
Voted
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
AbstractāIntrospection is the prerequisite of an autonomic behavior, the ļ¬rst step towards a performance improvement and a resource-usage optimization for largescale distribute...
99
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modiļ¬cation at each point. This task is particularly ...
168
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...