27119 search results - page 373 / 5424 » Languages |
154
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
154
click to vote
PLSA
1994
15 years 11 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
214
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...
153
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
155
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...