1792 search results - page 236 / 359 » e-Participation and Decision Analysis |
HOTOS
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
CHARME
2001
Springer
15 years 2 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
107
click to vote
APN
2000
Springer
15 years 2 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
142
click to vote
VLDB
2000
ACM
15 years 2 months ago
2000
ACM
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
WSC
2007
15 years 26 days ago
2007
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...