3729 search results - page 711 / 746 » On Formal Modeling of Agent Computations |
175
click to vote
BIBE
2005
IEEE
15 years 11 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
199
click to vote
GSEM
2004
Springer
15 years 11 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
209
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
159
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
170
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...