8083 search results - page 1556 / 1617 » A Formalization of Software Architecture |
188
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
209
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
236
click to vote
DIGRA
2005
Springer
16 years 6 days ago
2005
Springer
This paper is an addition to the discourse surrounding interface theory and pervasive games. A buzzword by nature, the term ´interface´ needs to be investigated and redefined in...
179
click to vote
ECMDAFA
2005
Springer
16 years 6 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
145
Voted
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...