6598 search results - page 198 / 1320 » Graph Theory with Applications |
197
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
197
Voted
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
222
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
189
click to vote
ICAIL
2003
ACM
16 years 9 days ago
2003
ACM
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
211
Voted
ENTCS
2006
15 years 7 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...