9425 search results - page 442 / 1885 » Some Notes on Models and Modelling |
137
click to vote
PARLE
1992
15 years 9 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
170
click to vote
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
137
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
134
Voted
ANTSW
2006
Springer
15 years 8 months ago
2006
Springer
The particle swarm algorithm contains elements which map fairly strongly to the foraging problem in behavioural ecology. In this paper, we show how some simple adaptions to the sta...
185
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...