Sciweavers

2521 search results - page 95 / 505
» Semantic Component Composition
Sort
View
IADIS
2003
13 years 10 months ago
Educational Component Model for Adaptive Web-Based Courses
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
Freddy Duitama, Bruno Defude, Amel Bouzeghoub, Cla...
IEE
2010
136views more  IEE 2010»
13 years 7 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
COMPSAC
2008
IEEE
14 years 3 months ago
A Component-Based Model and Language for Wireless Sensor Network Applications
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
Alan Dearle, Dharini Balasubramaniam, Jonathan Lew...
COMPSAC
2002
IEEE
14 years 2 months ago
Component Based System Framework for Dynamic B2B Interaction
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
Jinmin Hu, Paul W. P. J. Grefen
ROOM
2000
13 years 10 months ago
On the Compositional Properties of UML Statechart Diagrams
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
Anthony J. H. Simons