Sciweavers

7628 search results - page 1253 / 1526
» Spatial P systems
Sort
View
ICEIS
2007
IEEE
16 years 1 months ago
Challenges in Business Process Analysis
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
Wil M. P. van der Aalst
ICRA
2007
IEEE
102views Robotics» more  ICRA 2007»
16 years 1 months ago
On the Force Capabilities of Centripetal Force-actuated Microrobotic Platforms
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
P. Vartholomeos, Kostas Vlachos, Evangelos Papadop...
IJCNN
2007
IEEE
16 years 1 months ago
Default ARTMAP 2
—Default ARTMAP combines winner-take-all category node activation during training, distributed activation during testing, and a set of default parameter values that define a read...
Gregory P. Amis, Gail A. Carpenter
KBSE
2007
IEEE
16 years 1 months ago
Checking threat modeling data flow diagrams for implementation conformance and security
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
Marwan Abi-Antoun, Daniel Wang, Peter Torr
RTSS
2007
IEEE
16 years 1 months ago
A UML-Based Design Framework for Time-Triggered Applications
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Won...
« Prev « First page 1253 / 1526 Last » Next »