1285 search results - page 204 / 257 » Description Logic Reasoner: System Description |
CIDR
2009
15 years 2 months ago
2009
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
233
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
118
click to vote
FPL
2003
Springer
15 years 6 months ago
2003
Springer
The use of FPGAs for cryptographic applications is highly attractive for a variety of reasons but at the same time there are many open issues related to the general security of FPG...
106
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
111
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...