4224 search results - page 814 / 845 » Reasoning about Choice |
132
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
114
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
116
Voted
ER
2006
Springer
15 years 2 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
111
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
108
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...