183 search results - page 21 / 37 » jucs 2008 |
JUCS
2008
14 years 10 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
JUCS
2008
14 years 10 months ago
2008
: Communications ecosystem covers a huge area from technical issues to business models and human behaviour. Due to this extreme diversity various societies need to discuss with eac...
358
Voted
JUCS
2008
14 years 10 months ago
2008
: In human-computer interaction and computing, mobile phone usage is mostly addressed from a feature-driven perspective, i.e. which features do a certain user group use, and/or a u...
JUCS
2008
14 years 10 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
JUCS
2008
14 years 10 months ago
2008
: In this article we present an architecture for the integration of tutoring approaches and process scaffolds into existing collaborative applications. The architecture allows to c...