Sciweavers

1397 search results - page 83 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
KCAP
2011
ACM
14 years 6 months ago
Language resources extracted from Wikipedia
Wikipedia provides an interesting amount of text for more than hundred languages. This also includes languages where no reference corpora or other linguistic resources are easily ...
Denny Vrandecic, Philipp Sorg, Rudi Studer
165
Voted
IHI
2010
169views Healthcare» more  IHI 2010»
14 years 10 months ago
Dynamic scheduling of emergency department resources
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
Junchao Xiao, Leon J. Osterweil, Qing Wang
ENTCS
2006
146views more  ENTCS 2006»
15 years 3 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
138
Voted
RTAS
2009
IEEE
15 years 10 months ago
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
Anne Bouillard, Linh T. X. Phan, Samarjit Chakrabo...
138
Voted
WSC
2004
15 years 4 months ago
Single-Threaded Specification of Process-Interaction Formalism in Java
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
Peter H. M. Jacobs, Alexander Verbraeck