5630 search results - page 219 / 1126 » Computability in Specification |
148
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
189
click to vote
AWPN
2008
15 years 6 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
137
click to vote
COLING
2010
14 years 12 months ago
2010
News tweets that report what is happening have become an important real-time information source. We raise the problem of Semantic Role Labeling (SRL) for news tweets, which is mea...
121
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
134
click to vote
ACMIDC
2008
15 years 7 months ago
2008
Very young non- or hardly speaking children with severe disabilities need active guidance to stimulate interaction with their environment in order to develop their communicative a...