4224 search results - page 814 / 845 » Reasoning about Choice |
113
click to vote
CCS
2008
ACM
15 years 24 days 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...
100
click to vote
ICSE
2010
IEEE-ACM
15 years 23 days 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...
ER
2006
Springer
15 years 23 days 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...
93
Voted
ECLIPSE
2005
ACM
15 years 23 days 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...
COORDINATION
2008
Springer
15 years 18 days 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...