581 search results - page 114 / 117 » WebL - A Programming Language for the Web |
LREC
2008
14 years 11 months ago
2008
To achieve true interoperability for valuable linguistic resources different levels of variation need to be addressed. ISO Technical Committee 37, Terminology and other language a...
ODRL
2004
14 years 11 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
84
Voted
I3E
2003
14 years 11 months ago
2003
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
DAM
2007
14 years 9 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
JUCS
2006
14 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...