Sciweavers

7628 search results - page 1253 / 1526
» Spatial P systems
Sort
View
ICEIS
2007
IEEE
16 years 26 days 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 26 days 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 26 days 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 25 days 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 25 days 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 »