3504 search results - page 538 / 701 » Computational Aspects of Equilibria |
161
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
154
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents Linux/SimOS, a Linux operating system port to SimOS, which is a complete machine simulator from Stanford. The motivation for Linux/SimOS is to alleviate the li...
164
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Recognizing graphic objects from binary images is an important task in many real-life applications. Generally, there are two ways to do the graphics recognition: onestep methods a...
181
click to vote
WETICE
2002
IEEE
15 years 11 months ago
2002
IEEE
Networks of wireless microsensors for monitoring physical environments have emerged as an important new application area for the wireless technology. Key attributes of these new t...
191
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...