1121 search results - page 109 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
100
click to vote
EEE
2004
IEEE
15 years 5 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
108
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
102
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
106
click to vote
DLOG
2003
15 years 3 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
100
click to vote
KI
2008
Springer
15 years 1 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...