Sciweavers

2093 search results - page 90 / 419
» Developing Federation Object Models Using Ontologies
Sort
View
ACII
2005
Springer
14 years 2 months ago
An Ontology for Description of Emotional Cues
There is a great variety of theoretical models of emotions and implementation technologies which can be used in the design of affective computers. Consequently, designers and resea...
Zeljko Obrenovic, Nestor Garay, Juan Miguel L&oacu...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
FMOODS
2006
13 years 10 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
HCSE
2010
13 years 7 months ago
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
Shamal Faily, Ivan Flechais
IEEESCC
2010
IEEE
13 years 6 months ago
BPEL Remote Objects: Integrating BPEL Processes into Object-Oriented Applications
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
Marvin Ferber, Thomas Rauber, Sascha Hunold