Sciweavers

2106 search results - page 118 / 422
» Specifying C concepts
Sort
View
CSI
2007
96views more  CSI 2007»
13 years 10 months ago
A common criteria based security requirements engineering process for the development of secure information systems
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
Daniel Mellado, Eduardo Fernández-Medina, M...
JMLR
2006
150views more  JMLR 2006»
13 years 10 months ago
Building Support Vector Machines with Reduced Classifier Complexity
Support vector machines (SVMs), though accurate, are not preferred in applications requiring great classification speed, due to the number of support vectors being large. To overc...
S. Sathiya Keerthi, Olivier Chapelle, Dennis DeCos...
IJAOSE
2007
93views more  IJAOSE 2007»
13 years 10 months ago
A formal semantics for Gaia liveness rules and expressions
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
Tim Miller, Peter McBurney
IJBRA
2007
103views more  IJBRA 2007»
13 years 10 months ago
A pragmatic approach to mapping the open biomedical ontologies
: A large number of ontologies have been introduced by the biomedical community in recent years. From an application perspective, identifying related ontologies and linking them to...
Deendayal Dinakarpandian, Tuanjie Tong, Yugyung Le...
JOT
2007
96views more  JOT 2007»
13 years 10 months ago
Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver
One of the fundamental issues in Aspect-Oriented approaches is aspect-to-aspect interference, which occurs when multiple aspects are deployed jointly such that different compositi...
Jing Zhang, Thomas Cottenier, Aswin van den Berg, ...