Sciweavers

11561 search results - page 305 / 2313
» A Language for Biochemical Systems
Sort
View
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
CLEF
2011
Springer
14 years 6 months ago
Adapting Statistical Language Identification Methods for Short Queries
This paper describes the participation of UAIC team at the LogCLEF 2011 initiative, language identification task. Our approach is an aggregation of known methods for recognizing la...
Alexandru-Lucian Gînsca, Emanuela Boros, Adr...
WWW
2008
ACM
16 years 7 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram
WWW
2007
ACM
16 years 7 months ago
SPath: a path language for XML schema
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
Erik Wilde, Felix Michel
EDOC
2009
IEEE
16 years 1 months ago
Modelling and Reasoning Languages for Social Networks Policies
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
Guido Governatori, Renato Iannella