5863 search results - page 937 / 1173 » On Model-Checking of P Systems |
202
click to vote
IJCNN
2007
IEEE
16 years 27 days ago
2007
IEEE
—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...
166
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
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...
151
click to vote
RTSS
2007
IEEE
16 years 26 days ago
2007
IEEE
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 ...
157
click to vote
SMC
2007
IEEE
16 years 26 days ago
2007
IEEE
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
158
click to vote
APN
2007
Springer
16 years 23 days ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...