6174 search results - page 294 / 1235 » The language of social software |
156
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
We address the problem of deciding uniformly for graphs or languages of a given class whether they are generated by unlabelled Place-Transition nets whose sets of reachable marking...
155
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
165
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
150
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
255
click to vote
GTTSE
2007
Springer
17 years 4 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...