1829 search results - page 150 / 366 » Towards Validation of Requirements Models |
216
click to vote
ECBS
2007
IEEE
16 years 25 days ago
2007
IEEE
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
163
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
230
click to vote
CGF
2010
15 years 1 months ago
2010
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
161
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— High variability of access resources in heterogenous wireless networks and limited computing power and battery life of mobile computing devices such as smartphones call for nov...
157
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...