1880 search results - page 323 / 376 » A Static Analysis for Beta-Binders |
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— The Medium Access Control (MAC) scheme proposed by DAVIC/DVB, IEEE 802.14 and DOCSIS for the upstream channel of Hybrid Fiber Coaxial (HFC) access networks is based on ...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
ISLPED
2003
ACM
15 years 3 months ago
2003
ACM
Static and dynamic power for strained-Si device is analyzed and compared with conventional bulk-Si technology. Optimum device design points are suggested with controlling physical...
118
click to vote
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...