4418 search results - page 610 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
185
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
162
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Many classes of applications are inherently tolerant to errors. One such class are applications designed for a human end user, where the capabilities of the human cognitive system...
165
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a sketch-based password authentication system called Scribble-a-Secret as a graphical password scheme in which free-form drawings are used as a means to authen...
172
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
183
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...