8132 search results - page 344 / 1627 » Dependability, Abstraction, and Programming |
166
Voted
FAC
2002
15 years 6 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
168
click to vote
JLP
2002
15 years 6 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
300
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
153
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
171
click to vote
GPCE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...