480 search results - page 17 / 96 » Scenarios and Techniques for Choreography Design |
AIEDU
2006
13 years 8 months ago
2006
This paper presents FearNot, a virtual learning environment populated by synthetic characters interacting in bullying scenarios, aimed at 8-12 year old children. FearNot was design...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
CT Conflict resolution of the ethical aspects of accessibility issues for Web communities can be facilitated by the judicious use of scenarios. Carefully designed scenarios permit ...
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...