7380 search results - page 500 / 1476 » Engineering Software Intensive Systems |
159
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
176
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
136
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
165
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
128
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...