949 search results - page 133 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
101
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
118
click to vote
SERP
2004
15 years 3 months ago
2004
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
128
click to vote
ICFCA
2004
Springer
15 years 7 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
131
click to vote
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
113
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...