5228 search results - page 713 / 1046 » Case Studies for Software Engineers |
177
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
165
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We study the structure of the polynomial-time complete sets for NP and PSPACE under strong nondeterministic polynomial-time reductions (SNP-reductions). We show the following resu...
161
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
182
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
163
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Several types of term rewriting systems can be distinguished by the way their rules overlap. In particular, we define the classes of prefix, suffix, bottom-up and top-down system...