10263 search results - page 387 / 2053 » From Use Cases to System Operation Specifications |
179
click to vote
SGAI
2005
Springer
16 years 1 months ago
2005
Springer
The concept of the Knowledge Bazaar as a paradigm for the development of Expert Systems, whereby knowledge bases are created dynamically using knowledge supplied by self appointed...
235
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
192
click to vote
CAV
1998
Springer
15 years 12 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
215
click to vote
ICCBR
2010
Springer
15 years 11 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
177
click to vote
ISSAC
2005
Springer
16 years 1 months ago
2005
Springer
Let G = (4y2 + 2z)x2 + (10y2 + 6z) be the greatest common divisor (gcd) of two polynomials A, B ∈ [x,y, z]. Because G is not monic in the main variable x, the sparse modular ...