Sciweavers

529 search results - page 56 / 106
» Developing a UML Profile for Modelling Knowledge-Based Syste...
Sort
View
MIE
2008
112views Healthcare» more  MIE 2008»
13 years 10 months ago
Reusing Models of Actors and Services in Smart Homecare to Improve Sustainability
: Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. Development...
Ståle Walderhaug, Erlend Stav, Marius Mikals...
BIRTHDAY
2005
Springer
14 years 2 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
ICNSC
2007
IEEE
14 years 3 months ago
Optimization and Control of a Pendulum-driven Cart-pole System
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...
Yang Liu, Hongnian Yu, Brian Burrows
ICSE
2008
IEEE-ACM
14 years 10 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
AIED
2007
Springer
14 years 3 months ago
Constraint Authoring System: An Empirical Evaluation
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...