Sciweavers

4218 search results - page 301 / 844
» Complete sets of cooperations
Sort
View
IFL
2004
Springer
15 years 11 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
WER
2004
Springer
15 years 11 months ago
Integrating Natural Language Oriented Requirements Models into MDA
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
Maria Carmen Leonardi, María Virginia Mauco
ACSAC
2003
IEEE
15 years 11 months ago
Experimenting with a Policy-Based HIDS Based on an Information Flow Control Model
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
Jacob Zimmermann, Ludovic Mé, Christophe Bi...
ICDAR
2003
IEEE
15 years 11 months ago
Skewscope: The Textual Document Skew Detector
Skewscope is a software module designed to detect and analyze skew information of textual document images. Its skew detection algorithm, which is the major topic of this paper, di...
Bo Yuan, Chew Lim Tan
145
Voted
WETICE
2003
IEEE
15 years 11 months ago
Use of Scenario Evaluation in Preparation for Deployment of a Collaborative System for Knowledge Transfer - the Case of KiMERA
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
Lydia M. S. Lau, Craig A. Adams, Peter M. Dew, Chr...