2362 search results - page 284 / 473 » Programming in Standard ML |
149
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
119
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
130
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
142
click to vote
SOCASE
2007
Springer
15 years 10 months ago
2007
Springer
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
118
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...