Sciweavers

6751 search results - page 1273 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
WETICE
1998
IEEE
15 years 5 months ago
Authorization and Attribute Certificates for Widely Distributed Access Control
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
William E. Johnston, Srilekha Mudumbai, Mary R. Th...
APSEC
2001
IEEE
15 years 5 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
LREC
2010
225views Education» more  LREC 2010»
15 years 2 months ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
EDBTW
2010
Springer
14 years 11 months ago
A decision support system to improve e-learning environments
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
Marta E. Zorrilla, Diego García, Elena &Aac...
KBSE
2008
IEEE
15 years 7 months ago
Random Test Run Length and Effectiveness
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
James H. Andrews, Alex Groce, Melissa Weston, Ru-G...
« Prev « First page 1273 / 1351 Last » Next »