5525 search results - page 990 / 1105 » Verification of Model Transformations |
102
Voted
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...
57
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
113
click to vote
IDEAS
2005
IEEE
15 years 6 months ago
2005
IEEE
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
166
click to vote
MMM
2005
Springer
15 years 6 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
89
Voted
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...