Sciweavers

7380 search results - page 969 / 1476
» Engineering Software Intensive Systems
Sort
View
CISIS
2009
IEEE
15 years 11 months ago
Semi-Automatic Annotation System for OWL-Based Semantic Search
—Current keyword search by Google, Yahoo, and so on gives enormous unsuitable results. A solution to this perhaps is to annotate semantics to textual web data to enable semantic ...
C.-H. Liu, H.-C. Chen, J.-L. Jain, J.-Y. Chen
IJCAI
1989
15 years 7 months ago
A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
Lisiane Goffaux, Robert Mathonet
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
WWW
2005
ACM
16 years 7 months ago
Web page marker: a web browsing support system based on marking and anchoring
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...
Takahiro Koga, Noriharu Tashiro, Tadachika Ozono, ...
FOSSACS
2009
Springer
16 years 1 months ago
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina ...