Sciweavers

1863 search results - page 210 / 373
» Natural Language Analysis for Semantic Document Modeling
Sort
View
ESOP
2000
Springer
15 years 10 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
CAISE
2005
Springer
15 years 12 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
FDL
2008
IEEE
15 years 6 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
AAAI
2012
13 years 8 months ago
Sense Sentiment Similarity: An Analysis
This paper describes an emotion-based approach to acquire sentiment similarity of word pairs with respect to their senses. Sentiment similarity indicates the similarity between tw...
Mitra Mohtarami, Hadi Amiri, Man Lan, Thanh Phu Tr...
OOPSLA
2009
Springer
16 years 29 days ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...