9227 search results - page 1470 / 1846 » Developing Use Cases from Organizational Modeling |
168
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
179
click to vote
NMR
2004
Springer
16 years 5 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
199
click to vote
TCC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
188
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...
168
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the computational role of inhibition as it moves towards balancing concurrent excitation using the biologically-inspired Temporal Noisy-Leaky Integrator (TNLI) ...