2838 search results - page 301 / 568 » Verifying Controlled Components |
121
click to vote
VTC
2006
IEEE
15 years 8 months ago
2006
IEEE
A scheduling scheme for MIMO systems which has the capability of obtaining multiuser diversity gain and controlling the link connection ratio among users simultaneously is proposed...
WPES
2005
ACM
15 years 8 months ago
2005
ACM
Protecting privacy means to ensure users that access to their personal data complies with their preferences. However, information can be manipulated in order to derive new objects...
125
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
140
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
142
Voted
CODASPY
2012
13 years 10 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...