16968 search results - page 3087 / 3394 » Software Engineering in the Small |
167
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
173
click to vote
FOSSACS
2009
Springer
16 years 1 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...
191
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A central challenge facing sensor network research and development is the difficulty in providing effective autonomous management capability. This is due to a large number of p...
206
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
164
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Modern processors are becoming more complex and as features and application size increase, their evaluation is becoming more time-consuming. To date, design space exploration r...