4346 search results - page 785 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
116
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
131
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
127
click to vote
DFKI
2005
Springer
15 years 8 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
108
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We have used comparative genome analyses to produce annotated maps for large genomic loci. The first example is a locus on mouse chromosome 9 that is syntenic to human chromosome ...
136
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...