Sciweavers

1573 search results - page 144 / 315
» Signs and Formal Concepts
Sort
View
MKWI
2008
130views Business» more  MKWI 2008»
15 years 7 months ago
Description Languages and Market Mechanisms for Trading Grid Services
: Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of availab...
Benjamin Blau, Björn Schnizler
FOIS
2006
15 years 7 months ago
What is a Biological Function?
This paper examines the concepts biological function (BF) and functioning as they are used in recent work on formal ontology and its applications in the biomedical domain. My purpo...
Patricia Diaz-Herrera
GRC
2010
IEEE
15 years 7 months ago
Optimal Factorization of Three-Way Binary Data
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
Radim Belohlávek, Vilém Vychodil
IJISEC
2006
88views more  IJISEC 2006»
15 years 6 months ago
Requirements engineering for trust management: model, methodology, and reasoning
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 6 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...