1525 search results - page 236 / 305 » Formal Models for Communication-Based Design |
103
Voted
QUATIC
2007
IEEE
15 years 7 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
83
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
85
Voted
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
112
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...