Sciweavers

1301 search results - page 143 / 261
» Specifications via Realizability
Sort
View
159
Voted
EDOC
2009
IEEE
15 years 7 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
147
Voted
COOPIS
2004
IEEE
15 years 7 months ago
TRAP/J: Transparent Generation of Adaptable Java Programs
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
Seyed Masoud Sadjadi, Philip K. McKinley, Betty H....
103
Voted
ANSS
2001
IEEE
15 years 7 months ago
New Multiprotocol WDM/CDMA-Based Optical Switch Architecture
Different switching techniques have been proposed to design optical switch architectures. Wave Division Multiplexing (WDM) techniques were extensively investigated to implement sw...
Driss Benhaddou, Ala I. Al-Fuqaha, Ghulam Chaudhry
131
Voted
COOPIS
1998
IEEE
15 years 7 months ago
Wrapper Generation for Web Accessible Data Sources
There is an increase in the number of data sources that can be queried across the WWW. Such sources typically support HTML forms-based interfaces and search engines query collecti...
Jean-Robert Gruser, Louiqa Raschid, Maria-Esther V...
114
Voted
CDC
2008
IEEE
149views Control Systems» more  CDC 2008»
15 years 5 months ago
Distributed computation under bit constraints
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...
Ola Ayaso, Devavrat Shah, Munther A. Dahleh