1027 search results - page 60 / 206 » Opening Up The Enterprise |
WWW
2009
ACM
16 years 15 days ago
2009
ACM
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Music collectivities have been changed by the use of digital technologies in terms of more flexibility among participants. This claim is so w...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Highly sophisticated animals consist of a set of heterogenous modules decided by nature so that they can survive in a complex environment. In this paper we present a new modula...
MEMOCODE
2005
IEEE
15 years 5 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...