851 search results - page 148 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
While mobile phones have become ubiquitous instruments of communication and social interaction, they still require explicit interaction, placing high demands on attention. Engagin...
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper identifies important features a cognitive radio framework should provide, namely a virtual architecture ware abstraction, an adaptive run-time system for managing co...
MKM
2009
Springer
15 years 4 months 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...
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
As virtualized data-centres become the back-end platforms behind a new generation of utility and cloud computing infrastructures (such as AmazonAWS [1]) their multi-tenancy, scale...