663 search results - page 120 / 133 » Interactive Realizers and Monads |
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
WECWIS
2006
IEEE
14 years 4 months ago
2006
IEEE
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
ISLPED
2006
ACM
14 years 4 months ago
2006
ACM
Harvesting energy from the environment is a desirable and increasingly important capability in several emerging applications of embedded systems such as sensor networks, biomedica...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
NETGAMES
2006
ACM
14 years 4 months ago
2006
ACM
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...