1121 search results - page 124 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
142
click to vote
FM
1997
Springer
15 years 6 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
147
click to vote
SQJ
2010
15 years 7 days ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
218
click to vote
ECCB
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
140
Voted
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
113
click to vote
ECHT
1992
15 years 6 months ago
1992
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...