716 search results - page 3 / 144 » Rule Formats for Timed Processes |
129
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
It is a tedious and cumbersome process to update directly a WML document for the wireless Web because its content composes of both data and presentation. Thus, XML is used to hand...
117
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
100
Voted
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
159
Voted
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
94
Voted
CCE
2005
15 years 2 months ago
2005
The process to be modeled produces micro-hollow particles based on spray drying technology. This process involves droplet formation, solvent(s) evaporation, formation of the imper...