3335 search results - page 233 / 667 » A Unified Approach to Modeling and Programming |
180
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
160
click to vote
ENTCS
2002
15 years 6 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
219
click to vote
TCBB
2011
15 years 1 months ago
2011
—Protein identification is a key and essential step in mass spectrometry (MS) based proteome research. To date, there are many protein identification strategies that employ eithe...
173
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A popular approach in combinatorial optimization is to model problems as integer linear programs. Ideally, the relaxed linear program would have only integer solutions, which happ...
164
Voted
WORDS
2005
IEEE
16 years 8 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...