3399 search results - page 506 / 680 » Requirements Development in Scenario-Based Design |
184
click to vote
CIKM
2009
Springer
16 years 28 days ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
189
click to vote
MKM
2009
Springer
16 years 27 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
177
click to vote
IMC
2009
ACM
16 years 26 days ago
2009
ACM
WLANs have become an important last-mile technology for providing internet access within homes and enterprises. In such indoor deployments, the wireless channel suffers from signi...
158
click to vote
SIGCOMM
2009
ACM
16 years 26 days ago
2009
ACM
Besides a more widespread sensitivity to ecological issues, the interest in energy-efficient network technologies springs from heavy and critical economical needs, since both ener...
153
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
SSTA has received a considerable amount of attention in recent years. However, it is a general rule that any approach can only be as accurate as the underlying models. Thus, varia...