4212 search results - page 417 / 843 » Rights Expression Languages |
219
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
209
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
210
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
215
click to vote
CE
2007
15 years 6 months ago
2007
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
192
click to vote
INTERNET
2008
15 years 6 months ago
2008
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...