12107 search results - page 237 / 2422 » Software That Can Think |
202
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a protocol called SAKE (Software Attestation for Key Establishment), for establishing a shared key between any two neighboring nodes of a sensor netwo...
190
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
169
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...
192
click to vote
TSE
2008
15 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...