Sciweavers

783 search results - page 79 / 157
» The Bio-PEPA Tool Suite
Sort
View
RSP
2006
IEEE
102views Control Systems» more  RSP 2006»
14 years 2 months ago
Rapid Resource-Constrained Hardware Performance Estimation
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
Basant Kumar Dwivedi, Arun Kejariwal, M. Balakrish...
CIG
2005
IEEE
14 years 1 months ago
On TRACS: Dealing with a Deck of Double-Sided Cards
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
Kevin Burns
WMTE
2005
IEEE
14 years 1 months ago
Developing Interactive Logbook: A Personal Learning Environment
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
Tony Chan, Dan Corlett, Mike Sharples, Jeffrey Tin...
BPM
2005
Springer
129views Business» more  BPM 2005»
14 years 1 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
ICCS
2005
Springer
14 years 1 months ago
Semi-automated Simulation Transformation for DDDAS
Ultimate DDDAS success demands that DDDAS simulations be increasingly reconfigurable and adaptable to a growing variety of runtime sensor feedback. Because we expect a simulation...
David C. Brogan, Paul F. Reynolds Jr., Robert G. B...