1742 search results - page 93 / 349 » An Applicative Module Calculus |
COORDINATION
2008
Springer
14 years 13 days ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
RTAS
2000
IEEE
14 years 2 months ago
2000
IEEE
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
CD
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
DAC
2004
ACM
14 years 2 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
WILF
2009
Springer
14 years 5 months ago
2009
Springer
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...