11168 search results - page 331 / 2234 » Abstract State Processes |
183
Voted
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
168
click to vote
ACRI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Polymer injection in moulds with complicated shapes is common in todays industrial problems. A challenge is to optimize the mould design which leads to the most homogeneo...
189
Voted
ICARIS
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
222
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
208
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...