3828 search results - page 322 / 766 » Proof-Based System Engineering Using a Virtual System Model |
148
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Code churn, the amount of code change taking place within a software unit over time, has been correlated with fault-proneness in software systems. We investigate the use of code c...
185
Voted
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
172
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
195
click to vote
BRAIN
2010
Springer
15 years 3 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
194
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...