6960 search results - page 887 / 1392 » Continuity Analysis of Programs |
181
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
174
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
150
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...
160
click to vote
SCAM
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
148
click to vote
CSFW
2007
IEEE
16 years 26 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...