2694 search results - page 118 / 539 » Frege's New Science |
155
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind ...
144
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Cellular automata (CA) are discrete, homogeneous dynamical systems. Non-surjective one-dimensional CA have nite words with no preimage (called orphans), pairs of dieren...
166
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
146
click to vote
ACSC
2008
IEEE
16 years 28 days ago
2008
IEEE
Web services have been proposed as means to provide more convenient access to computation services. An issue that still must be dealt with is what to do if there is no web service...
168
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...