3335 search results - page 84 / 667 » A Unified Approach to Modeling and Programming |
249
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
161
click to vote
IPMI
2005
Springer
15 years 11 months ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
273
click to vote
PDPTA
2010
15 years 4 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
153
click to vote
SPIN
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...