5550 search results - page 740 / 1110 » Different Approaches to Proof Systems |
179
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Copy-paste programming is dangerous as it may lead to hidden dependencies between different parts of the system. Modifying clones is not always straight forward, because we might ...
172
click to vote
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we evaluate a cognitive radio transceiver employing both non-contiguous multicarrier modulation (NC-MCM) and adaptive bit allocation. Although NCMCM and bit allo...
200
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
201
click to vote
CW
2005
IEEE
16 years 19 days ago
2005
IEEE
Virtual Enterprise enables companies to collaborate through sharing of resources, and therefore allows them to enjoy the benefits of virtual integration. The essence of Virtual En...
172
click to vote
ESCIENCE
2005
IEEE
16 years 19 days ago
2005
IEEE
The Grid provides infrastructure that allows an arbitrary application to be executed on a range of different computational resources. When input files are very large, or when faul...