6253 search results - page 934 / 1251 » Use Case Modeling Guidelines |
228
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider an opportunistic spectrum access (OSA) problem where the time-varying condition of each channel (e.g., as a result of random fading or certain primary users' activ...
148
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
221
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
224
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
174
click to vote
COMPGEOM
2004
ACM
16 years 21 days ago
2004
ACM
Triangle strips have been widely used for efficient rendering. It is NP-complete to test whether a given triangulated model can be represented as a single triangle strip, so many...