1728 search results - page 288 / 346 » Formal Modeling of Process Migration |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
JSS
2002
13 years 9 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...