288 search results - page 44 / 58 » Interactive Termination Proofs Using Termination Cores |
WOTUG
2007
14 years 10 months ago
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the â...
67
Voted
RTS
2006
14 years 9 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
MOBILITY
2009
ACM
15 years 2 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
DOCENG
2008
ACM
14 years 11 months ago
2008
ACM
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
The use of AC coupled interconnects to provide communication paths between devices is increasing. The existing IEEE 1149.1 boundary scan standard [1] (JTAG) has limitations that h...