2209 search results - page 418 / 442 » Language Based Secure Communication |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
DAC
2003
ACM
14 years 2 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...