4047 search results - page 473 / 810 » Algebraic Model Checking |
173
click to vote
JUCS
2006
15 years 6 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
178
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
149
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Even though role-based access control (RBAC) can tremendously help us minimize the complexity in administering users, it is still needed to realize the notion of roles at the reso...
217
click to vote
LSSC
2007
Springer
16 years 26 days ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
204
click to vote
SEW
2006
IEEE
16 years 22 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...