Sciweavers

6253 search results - page 503 / 1251
» Use Case Modeling Guidelines
Sort
View
ISI
2004
Springer
15 years 11 months ago
Identifying Multi-ID Users in Open Forums
We describe a model for real-time communication exchange in public forums, such as newsgroups and chatrooms, and use this model to develop an efficient algorithm which identifies...
Hung-Ching Chen, Mark K. Goldberg, Malik Magdon-Is...
159
Voted
WSC
2007
15 years 8 months ago
Agent-based simulation for collaborative cranes
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
Cheng Zhang, Amin Hammad
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
ESANN
2007
15 years 7 months ago
Synchronization and acceleration: complementary mechanisms of temporal coding
Temporal coding is studied with an oscillatory network model that is a complex-valued generalization of the Cohen-Grossberg-Hopfield system. The model is considered with synchroni...
Thomas Burwick
IASSE
2004
15 years 7 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...