8109 search results - page 337 / 1622 » A Model of Component-Based Programming |
172
click to vote
NSPW
2004
ACM
16 years 19 days ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
174
Voted
ICCS
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
203
Voted
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
179
click to vote
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
157
click to vote
SOFTVIS
2005
ACM
16 years 23 days ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...