12670 search results - page 307 / 2534 » Requirements Modeling |
170
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
143
click to vote
DEXAW
2003
IEEE
16 years 6 hour ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
167
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
158
click to vote
GRID
2004
Springer
16 years 2 days ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
139
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Accurate analysis and simulation in multi-hop (sensor, ad hoc, and mesh) networks requires accurate representation of physical layer fading processes. Current models either ignore...