178 search results - page 19 / 36 » Dependability Arguments with Trusted Bases |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper investigates multimedia quality fairness in wireless LAN environments where channel are error-prone due to mobility and fading. The experimental results show that using...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
CMS
2003
13 years 10 months ago
2003
Classic security systems use a trust model centered in the authentication procedure, which depends on a naming service. Even when using a Public Key Infrastructure as X.509, such s...
COLING
2008
13 years 10 months ago
2008
Almost all automatic semantic role labeling (SRL) systems rely on a preliminary parsing step that derives a syntactic structure from the sentence being analyzed. This makes the ch...