2059 search results - page 290 / 412 » An adaptive system developer's tool-kit |
153
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
162
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth...
177
click to vote
BIBM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...
164
click to vote
IROS
2008
IEEE
16 years 26 days ago
2008
IEEE
— The development of an oscillator controller for a quadruped robot with antagonistic pairs of pneumatic actuators is reported. Periodic motions of the legs switch between the sw...
204
click to vote
MOBIQUITOUS
2008
IEEE
16 years 25 days ago
2008
IEEE
SMEPP Light is a middleware for Wireless Sensor Networks (WSNs) based on mote-class sensors. It is derived from the specification developed under the framework of the SMEPP proje...