12551 search results - page 2255 / 2511 » Reuse in Systems Engineering |
117
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Scrum was designed for hyperproductive teams where productivity increases by 5-10 times over industry averages and many colocated teams have achieved this effect. The question for...
119
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
130
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
147
Voted
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
138
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...