3825 search results - page 539 / 765 » The Language of Time: A Reader |
190
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
190
click to vote
DLT
2008
15 years 8 months ago
2008
We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change di...
203
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
160
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
184
click to vote
AIR
2010
15 years 7 months ago
2010
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...