Sciweavers

10707 search results - page 404 / 2142
» Designing executable abstractions
Sort
View
BPM
2007
Springer
165views Business» more  BPM 2007»
15 years 9 months ago
Modeling Requirements for Value Configuration Design
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
Eng Chew, Igor Hawryszkiewycz, Michael Soanes
149
Voted
AOSE
2006
Springer
15 years 8 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
141
Voted
FMCAD
2006
Springer
15 years 8 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
15 years 8 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...
149
Voted
ISER
2000
Springer
109views Robotics» more  ISER 2000»
15 years 8 months ago
Advancing Active Vision Systems by Improved Design and Control
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
Orson Sutherland, Harley Truong, Sebastien Rougeau...