2163 search results - page 346 / 433 » cases 2004 |
FORTE
2004
14 years 11 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
GRAPHICSINTERFACE
2004
14 years 11 months ago
2004
Mobile devices with small screens are becoming more common, and will soon be powerful enough to run desktop software. However, the large interfaces of desktop applications do not ...
105
click to vote
I3E
2004
14 years 11 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
IADIS
2004
14 years 11 months ago
2004
The Semantic Web's success will depend on the implementation and use of Web Service becoming preeminent in Ecommerce, which will likely be agent-based in the future. On the S...
IADIS
2004
14 years 11 months ago
2004
We have developed models of how strategies are constructed and retained as male and female high school and university students gain experience in solving online qualitative chemic...