1828 search results - page 266 / 366 » First-Class Type Classes |
152
click to vote
ICC
2007
IEEE
16 years 17 days ago
2007
IEEE
— Although the capacity of multiple-input multiple output (MIMO) broadcast channels (BCs) can be achieved by dirty-paper coding (DPC), it is difficult to apply the results direct...
152
click to vote
ICC
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
165
click to vote
TASE
2007
IEEE
16 years 15 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
175
click to vote
AMR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
150
Voted
FOSAD
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...