Sciweavers

1161 search results - page 17 / 233
» Resource Modeling for Timed Creol Models
Sort
View
91
Voted
FSKD
2007
Springer
100views Fuzzy Logic» more  FSKD 2007»
15 years 8 months ago
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
Yanhua Du, Yushun Fan
131
Voted
JCS
2010
124views more  JCS 2010»
15 years 1 months ago
Verifying resource access control on mobile interactive devices
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
Frédéric Besson, Guillaume Dufay, Th...
ADAEUROPE
2004
Springer
15 years 8 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
109
Voted
EOR
2006
78views more  EOR 2006»
15 years 2 months ago
A multi-objective resource allocation problem in PERT networks
We develop a multi-objective model for resource allocation problem in PERT networks with exponentially or Erlang distributed activity durations, where the mean duration of each ac...
Amir Azaron, Hideki Katagiri, Masatoshi Sakawa, Ko...
140
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Distributed training of large scale exponential language models
Shrinkage-based exponential language models, such as the recently introduced Model M, have provided significant gains over a range of tasks [1]. Training such models requires a l...
Abhinav Sethy, Stanley F. Chen, Bhuvana Ramabhadra...