2328 search results - page 272 / 466 » Component Frameworks - A Case Study |
183
click to vote
WAW
2007
Springer
16 years 4 days ago
2007
Springer
A random graph model based on Kronecker products of probability matrices has been recently proposed as a generative model for large-scale real-world networks such as the web. This...
143
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
act The strategic use of technology based information systems (IS/IT) is a fundamental issue for every business. This is particularly true in the case of firms that engage in inter...
146
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
—Free and open source software strongly promotes the reuse of source code. Some open source Java components/libraries are distributed as jar archives only containing the bytecode...
166
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
153
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...