Sciweavers

46084 search results - page 266 / 9217
» Developments in WIS development
Sort
View
WSCG
2000
134views more  WSCG 2000»
15 years 8 months ago
Development of JAVA User Interface for Digital Television
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
Chengyuan Peng, Petri Vuorimaa
CADE
2010
Springer
15 years 7 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 6 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
CORR
2010
Springer
160views Education» more  CORR 2010»
15 years 6 months ago
Developing courses with HoloRena, a framework for scenario- and game based e-learning environments
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...
Laszlo Juracz
CORR
2006
Springer
131views Education» more  CORR 2006»
15 years 6 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...