Sciweavers

7530 search results - page 377 / 1506
» Design and Implementation of the YAWL System
Sort
View
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
EUROPAR
2010
Springer
15 years 8 months ago
Toward Real-Time, Many-Task Applications on Large Distributed Systems
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
Sangho Yi, Derrick Kondo, David P. Anderson
ICIP
2006
IEEE
16 years 8 months ago
An Iris Recognition System Using Phase-Based Image Matching
This paper presents an implementation of iris recognition algorithm using phase-based image matching -- an image matching technique using phase components in 2D Discrete Fourier T...
Kazuyuki Miyazawa, Koichi Ito, Takafumi Aoki, Koji...
ICDE
2005
IEEE
137views Database» more  ICDE 2005»
16 years 8 months ago
Extending Relational Database Systems to Automatically Enforce Privacy Policies
Databases are at the core of successful businesses. Due to the voluminous stores of personal data being held by companies today, preserving privacy has become a crucial requiremen...
Rakesh Agrawal, Paul Bird, Tyrone Grandison, Jerry...
AIIA
2005
Springer
16 years 18 days ago
BIOPACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System for Predicting Protein Secondary Structure
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...
Giuliano Armano, Gianmaria Mancosu, Alessandro Orr...