6201 search results - page 226 / 1241 » Implementation of Axiomatic Language |
135
click to vote
LREC
2010
15 years 6 months ago
2010
The recent availability of large collections of text such as the Google 1T 5-gram corpus (Brants and Franz, 2006) and the Gigaword corpus of newswire (Graff, 2003) have made it po...
139
click to vote
IM
2007
15 years 6 months ago
2007
— The objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (Simple Policy Language for CIM) that complies with the CIM (Common Inform...
130
click to vote
VLC
2008
15 years 5 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
146
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
148
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...