11168 search results - page 224 / 2234 » Abstract State Processes |
153
click to vote
WECWIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
158
click to vote
IANDC
2010
15 years 5 months ago
2010
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
173
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
Abstract. Image sequence processing techniques are used to study exchange, growth, and transport processes and to tackle key questions in environmental physics and biology. These a...
159
click to vote
WCRE
2007
IEEE
16 years 22 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Starting with a monodisperse configuration with n size