5228 search results - page 713 / 1046 » Case Studies for Software Engineers |
187
Voted
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...
174
Voted
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...
177
Voted
ISORC
2005
IEEE
16 years 1 months 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...
201
click to vote
FOSSACS
2005
Springer
16 years 1 months 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...
174
Voted
FOSSACS
2004
Springer
16 years 27 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...