1418 search results - page 91 / 284 » The Dynamic Complexity of Formal Languages |
120
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
157
click to vote
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
145
Voted
CIARP
2006
Springer
15 years 7 months ago
2006
Springer
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...
140
click to vote
SAINT
2006
IEEE
15 years 10 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
124
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Descri...