1054 search results - page 179 / 211 » From a Verified Kernel towards Verified Systems |
104
click to vote
CONCURRENCY
2007
15 years 1 months ago
2007
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
115
click to vote
ENGL
2007
15 years 1 months ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
115
click to vote
RC
2002
15 years 1 months ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
148
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
119
click to vote
ACL
1994
15 years 3 months ago
1994
An automatic treebank conversion method is proposed in this paper to convert a treebank into another treebank. A new treebank associated with a different grammar can be generated ...