4755 search results - page 571 / 951 » An Implementation Model for Collaborative Applications |
155
Voted
ADBIS
2007
Springer
16 years 1 months ago
2007
Springer
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
150
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Lesson graphs are composed of Learning Objects (LOs) and include a valuable amount of information about the content and usage of the LOs, described by the LO metadata. Graphs also ...
160
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
161
click to vote
ECBS
2010
IEEE
16 years 4 days ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
200
Voted
GD
2003
Springer
16 years 1 days ago
2003
Springer
We address the new problem of puzzle layout as a new application of awing. We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modeled a...