Sciweavers

635 search results - page 10 / 127
» Towards the formalization of interaction semantics
Sort
View
100
Voted
JUCS
2000
102views more  JUCS 2000»
14 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
ACL
2003
14 years 10 months ago
Towards Interactive Text Understanding
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...
Marc Dymetman, Aurélien Max, Kenji Yamada
DLOG
2007
14 years 11 months ago
SEMilarity: Towards a Model-Driven Approach to Similarity
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
Rudi Araújo, Helena Sofia Pinto
BPM
2007
Springer
201views Business» more  BPM 2007»
15 years 3 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ESORICS
2006
Springer
15 years 1 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...