7075 search results - page 1330 / 1415 » Models and heterogeneous reasoning |
SIGOPSE
1998
ACM
15 years 2 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
BIBE
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
111
click to vote
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
This work presents some anticipatory mechanisms in an agent architecture, modeling affective behaviours as effects of surprise. Through experiment discussion, the advantages of bec...
100
click to vote
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
GFKL
2006
Springer
15 years 1 months ago
2006
Springer
Finding the right pricing for music downloads is of ample importance to the recording industry and music download service providers. For the recently introduced music downloads, re...