5722 search results - page 853 / 1145 » Security Function Interactions |
140
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
123
click to vote
PVLDB
2010
15 years 4 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
146
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
154
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
174
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...