1785 search results - page 103 / 357 » Modeling Communication with Synchronized Environments |
152
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
164
Voted
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
135
Voted
JSAC
2006
15 years 3 months ago
2006
Abstract-- This paper addresses the problem of optical signalto-noise ratio (OSNR) optimization in optical networks. An analytical OSNR network model is developed for a general mul...
136
Voted
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
119
Voted
TON
2010
15 years 1 months ago
2010
—This paper considers the problem of pricing and transmission scheduling for an Access Point (AP) in a wireless network, where the AP provides service to a set of mobile users. T...