2794 search results - page 267 / 559 » A New Architecture for Automated Modelling |
208
click to vote
CF
2004
ACM
16 years 4 days ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
172
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
— This work presents a new architecture of artificial neural networks – Venn Networks, which produce localized activations in a 2D map while executing simple cognitive tasks. T...
158
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
191
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
176
click to vote
MIC
2003
15 years 8 months ago
2003
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...