4126 search results - page 177 / 826 » Modelling Electronic Organizations |
186
click to vote
ADVSE
2010
15 years 1 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
163
click to vote
WSC
1998
15 years 7 months ago
1998
A model is proposed which identifies factors associated with the adoption of discrete event simulation and places them within an explanatory framework. The model proposes four mai...
203
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
142
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The proposed paper analyses the changes in business models employed by the stakeholders in the newspaper value network, in the context of a new type of electronic reading device
369
click to vote
Dataset
Here are some calibrated stereograms (stereo images) used in the Syntim team to test our 3D vision algorithms. Calibration data are available, assuming a pin-hole camera model. Ple...