13717 search results - page 2163 / 2744 » Control Systems |
223
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
211
click to vote
VLSID
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
204
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
202
click to vote
ALGOSENSORS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Due to their small form factor and modest energy budget, individual sensors are not expected to be GPS-enabled. Moreover, in most applications, exact geographic location ...
203
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Auctions and exchanges are important coordination mechanisms for multiagent systems. Most multi-good markets are combinatorial in that the agents have preferences over bundles of ...