1888 search results - page 269 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
154
click to vote
COLING
2010
14 years 11 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
176
click to vote
IWMM
1998
Springer
15 years 9 months ago
1998
Springer
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
133
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...
152
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
Neural signals are everywhere just like mobile phones. We propose to use neural signals to control mobile phones for hands-free, silent and effortless human-mobile interaction. Un...
146
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...