496 search results - page 5 / 100 » Using the Temporal Logic RDL for Design Specifications |
102
click to vote
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
AAAI
2006
14 years 11 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
77
Voted
KES
1999
Springer
15 years 1 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
JSS
2010
14 years 4 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...