284 search results - page 49 / 57 » Formal Foundation for Pattern-Based Modelling |
156
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
129
click to vote
CN
2007
15 years 5 months ago
2007
Unsolicited commercial email, commonly known as spam, has become a pressing problem in today’s Internet. In this paper we re-examine the architectural foundations of the current...
179
Voted
AI
2008
Springer
15 years 4 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
147
Voted
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
172
Voted
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...