3384 search results - page 300 / 677 » More Testable Properties |
168
click to vote
BIRD
2007
Springer
16 years 26 days ago
2007
Springer
More and more proteins have been observed to display functions through intrinsic disorder. Such structurally flexible regions are shown to play important roles in biological proces...
162
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
196
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
156
click to vote
GFKL
2007
Springer
16 years 25 days ago
2007
Springer
The so-called noise-component has been introduced by Banfield and Raftery (1993) to improve the robustness of cluster analysis based on the normal mixture model. The idea is to ad...
182
click to vote
ISPA
2007
Springer
16 years 25 days ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. The logical network topologies must also suppo...