2273 search results - page 307 / 455 » On the Expressiveness and Complexity of ATL |
ANSS
2006
IEEE
15 years 4 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
CIBCB
2006
IEEE
15 years 4 months ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...