103 search results - page 18 / 21 » Applying a Disciplined Approach to the Development of a Cont... |
IMC
2010
ACM
13 years 5 months ago
2010
ACM
While many public cloud providers offer pay-as-you-go computing, their varying approaches to infrastructure, virtualization, and software services lead to a problem of plenty. To ...
SIGCOMM
2009
ACM
14 years 1 months ago
2009
ACM
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...
FM
2009
Springer
14 years 2 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
SACMAT
2010
ACM
14 years 7 days ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...