3038 search results - page 216 / 608 » Controlling Engineering Problem Solving |
88
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
115
Voted
FATES
2005
Springer
15 years 8 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
189
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
122
click to vote
COMCOM
2007
15 years 2 months ago
2007
This paper addresses the issue of provisioning end-to-end bandwidth guarantees across multiple Autonomous Systems (ASes). We first review a cascaded model for negotiating and est...
112
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...