2613 search results - page 74 / 523 » Proposal for Tools Supporting Component Based Programming |
170
Voted
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
126
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
121
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
113
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
128
click to vote
HCI
2007
15 years 6 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...