10996 search results - page 356 / 2200 » Future Directions in Computing |
159
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we introduce the personalized Internet protocol television (IPTV) services for new business opportunities in next generation networks (NGN) and present the direct...
172
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
102
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
136
click to vote
CCE
2006
15 years 6 months ago
2006
Achieving high performance process control (HPPC) requires that the control system operate the plant at optimal efficiency over the full range of steady state and dynamic conditio...
190
click to vote
IIE
2006
15 years 6 months ago
2006
We present a collaborative learning tool for programming, Jeliot Collaboratively or JeCo. Jeliot Collaboratively is a combination of a program visualization tool for Java programs,...