2810 search results - page 364 / 562 » Contract-Based Component System Design |
ISOOMS
1994
15 years 3 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
104
click to vote
DATE
2005
IEEE
15 years 1 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
101
click to vote
WSC
2004
15 years 1 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
108
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
UIST
2005
ACM
15 years 5 months ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...