1676 search results - page 296 / 336 » Formal Development of Self-organising Systems |
139
click to vote
FOAL
2009
ACM
16 years 11 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
153
click to vote
EDOC
2008
IEEE
16 years 9 days ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
217
click to vote
ICTAI
2008
IEEE
16 years 7 days ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
151
click to vote
ESOP
2007
Springer
16 years 10 hour ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
115
click to vote
ESWS
2007
Springer
16 years 10 hour ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...