27119 search results - page 360 / 5424 » Languages |
144
click to vote
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
As Talmy has observed, language schematizes space; language provides a systematic framework to describe space, by selecting certain aspects of a referent scene while neglecting the...
175
click to vote
WIA
1998
Springer
15 years 11 months ago
1998
Springer
A cover-automaton A of a finite language L is a finite automaton that accepts all words in L and possibly other words that are longer than any word in L. A minimal deterministic co...
179
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
140
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
160
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...