1682 search results - page 21 / 337 » A behavior model for persuasive design |
124
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
106
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
118
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
132
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
ICALT
2007
IEEE
15 years 8 months ago
2007
IEEE
This work proposes the exploration of student’s information through the use of Bayesian Networks. By using thisapproach we aim to model the uncertainty inherent to the student...