541 search results - page 32 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
ICSE
1997
IEEE-ACM
14 years 5 days ago
1997
IEEE-ACM
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
VL
2007
IEEE
14 years 2 months ago
2007
IEEE
Children who are active on the internet are performing significant design and programming activity without realising it, in the course of hacking little animations, game scripts a...
VL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a system designed to support young students learning history at an archaeological site, by exploiting mobile technology. The approach uses game-play, since it ...
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different la...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...