1788 search results - page 102 / 358 » Model Theory for Process Algebra |
114
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
113
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
116
Voted
APCCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
100
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
128
Voted
ROOM
2000
15 years 2 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...