20306 search results - page 371 / 4062 » Business Modelling Is Not Process Modelling |
170
Voted
ANSOFT
1999
15 years 7 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
242
Voted
TACAS
2007
Springer
16 years 1 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...
229
Voted
CODES
2003
IEEE
16 years 24 days ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
173
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In an opportunistic spectrum sharing (OSS) wireless network there are two types of users: primary users and secondary users. The primary users own the license for the system ba...
213
click to vote
DAWAK
1999
Springer
15 years 11 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...