1821 search results - page 297 / 365 » Security-Aware Program Transformations |
108
click to vote
ICS
1993
Tsinghua U.
15 years 4 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
102
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
154
click to vote
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
117
click to vote
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...