2741 search results - page 191 / 549 » Engineering Mathematical Knowledge |
148
click to vote
ATAL
1998
Springer
15 years 7 months ago
1998
Springer
This article introduces the current agent-oriented methodologies. It discusseswhat approacheshave been followed (mainly extending existing objectoriented and knowledge engineering ...
110
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
126
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
114
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
135
Voted
EUSFLAT
2007
15 years 4 months ago
2007
In spite of its successes as a tool in the field of engineering, fuzzy set theory has yet to achieve the universal footing that probability theory has across the various fields ...