4350 search results - page 215 / 870 » Case studies for contract-based systems |
125
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the most contemporary research ideas for adaptive web-based educational systems is personalizing the educational contents, based on users’ learning styles. Moreover, it i...
121
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
162
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
136
click to vote
ECIS
2001
15 years 6 months ago
2001
Giddens' structuration theory (ST) offers an account of social life in terms of social practices developing and changing over time and space, which makes no attempt to direct...
223
Voted
TOPNOC
2010
14 years 11 months ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...