Sciweavers

8768 search results - page 322 / 1754
» Generalizing the notion of support
Sort
View
IJISEC
2006
88views more  IJISEC 2006»
15 years 7 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...
JLP
2006
126views more  JLP 2006»
15 years 7 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
185
Voted
IWC
2007
119views more  IWC 2007»
15 years 7 months ago
Dependable domestic systems design: A socio-technical approach
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
Ian Sommerville, Guy Dewsbury
JODS
2007
142views Data Mining» more  JODS 2007»
15 years 7 months ago
Context Dependency Management in Ontology Engineering: A Formal Approach
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
Pieter De Leenheer, Aldo de Moor, Robert Meersman
169
Voted
JUCS
2002
97views more  JUCS 2002»
15 years 7 months ago
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
Erich Gams, Siegfried Reich