1424 search results - page 63 / 285 » Modeling A Control System For Organizational Processes |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
FM
1999
Springer
14 years 1 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
WSC
2007
13 years 11 months ago
2007
Recent reports have established the need for change in the US health system. Building projects can play an important role in enabling change to support organizational objectives. ...