Sciweavers

523 search results - page 101 / 105
» Embedded Software Development with Projectional Language Wor...
Sort
View
BCSHCI
2008
15 years 1 months ago
PDP: pen driven programming
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
Jonathan Frye, Björn Franke
IC
2004
15 years 1 months ago
IskaWeb: A Web-Based Information System for the Classification of Industrial Wastes
Industrial wastes must be classified at least two times on the way from the owner of the waste to the waste disposal facility in order to ensure that waste handling is in conformi...
J. O. Dada, Hans-Dieter Kochs, Jörg Petersen
IJCAI
2007
15 years 1 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
RTCSA
1999
IEEE
15 years 3 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
CSIE
2009
IEEE
15 years 3 months ago
An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
Taekhoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim,...