Sciweavers

3664 search results - page 442 / 733
» Language Technology for eLearning
Sort
View
APSEC
2006
IEEE
15 years 11 months ago
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumo...
ICEIS
2006
IEEE
15 years 11 months ago
Filtering Unsatisfiable XPATH Queries
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
Jinghua Groppe, Sven Groppe
IEEESCC
2006
IEEE
15 years 11 months ago
Applying Distributed Business Rules - The VIDRE Approach
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
Florian Rosenberg, Christoph Nagl, Schahram Dustda...
VL
2006
IEEE
220views Visual Languages» more  VL 2006»
15 years 11 months ago
AgentCubes: Raising the Ceiling of End-User Development in Education through Incremental 3D
Now that we have end-user programming environments capable of empowering kids with no programming background to build games in a matter of hours, a new quest for raising the ceili...
Alexander Repenning, Andri Ioannidou
ASPLOS
2006
ACM
15 years 11 months ago
Dependable != unaffordable
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
Alan L. Cox, Kartik Mohanram, Scott Rixner