39362 search results - page 7212 / 7873 » Global Computing Systems |
187
click to vote
ATVA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
230
click to vote
BERTINORO
2005
Springer
16 years 29 days ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
167
click to vote
CAISE
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
228
click to vote
CCS
2005
ACM
16 years 28 days ago
2005
ACM
Cellular networks are a critical component of the economic and social infrastructures in which we live. In addition to voice services, these networks deliver alphanumeric text mes...
186
click to vote
CIKM
2005
Springer
16 years 28 days ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...