1411 search results - page 234 / 283 » Case Studies of an Insider Framework |
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
UML
2001
Springer
14 years 1 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...