1127 search results - page 207 / 226 » Theory Extension in ACL2(r) |
121
click to vote
JCO
2006
15 years 17 days ago
2006
Power assignment for wireless ad hoc networks is to assign a power for each wireless node such that the induced communication graph has some required properties. Recently research ...
128
Voted
JUCS
2008
15 years 17 days ago
2008
: Software Product Lines (SPL) may be adopted by either bootstrapping existing software products into a SPL, or extending an existing SPL to encompass an additional software produc...
92
Voted
JFP
2006
15 years 17 days ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
100
click to vote
ENTCS
2007
15 years 16 days ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
140
click to vote
JSAC
2006
15 years 16 days ago
2006
In mobile wireless networks, dynamic allocation of resources such as transmit powers, bit-rates, and antenna beams based on the channel state information of mobile users is known t...