1121 search results - page 72 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
COLCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
—Peer-to-Peer file sharing applications in the Internet, such as BitTorrent, Gnutella, etc., have been immensely popular. Prior research mainly focuses on peer and content discov...
EOR
2006
15 years 1 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
113
Voted
CHI
2010
ACM
15 years 8 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...
147
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
139
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...