9626 search results - page 1735 / 1926 » Invariant Based Programming |
136
Voted
CJ
2004
15 years 2 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
120
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
142
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
132
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
139
click to vote
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...