4196 search results - page 91 / 840 » Supporting the development of network programs |
105
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
128
click to vote
JCSC
2002
15 years 3 months ago
2002
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
149
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
116
click to vote
WETICE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a service-oriented P2P architecture and related federated metaprogramming model to support development of highly scalable and reliable distributed collaborati...
135
Voted
ICDIM
2010
IEEE
15 years 1 months ago
2010
IEEE
Funded as part of the `Network Enabled Platforms' program the Health Services Virtual Organization (HSVO) Project has developed a network-enabled platform (NEP) consisting of...