4421 search results - page 381 / 885 » Libraries |
133
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
114
click to vote
CHIMIT
2007
ACM
15 years 9 months ago
2007
ACM
Growth, adaptability, innovation, and cost control are leading concerns of businesses, especially with respect to use of information technology (IT). Though standards such as the ...
118
click to vote
ELPUB
2007
ACM
15 years 9 months ago
2007
ACM
The paper presents recent initiatives in creation, delivery and management of scientific heritage digital resources in Bulgaria. The local and international tendencies will be ske...
125
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
147
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
The idea of linked programs, or procedural RDF metadata, has not been deeply explored. This paper introduces a dedicated scripting language for linked data, called Ripple, whose pr...