2757 search results - page 379 / 552 » On separating systems |
135
click to vote
JAR
2008
15 years 5 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
147
click to vote
JOT
2006
15 years 5 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
178
Voted
FGCS
2007
15 years 5 months ago
2007
A crucial goal for future Grid systems is to strive towards user-centric service provisioning. A way to achieve this is through the use of economics-based resource management. Cur...
141
click to vote
TITS
2008
15 years 4 months ago
2008
A lane-detection system is an important component of many intelligent transportation systems. We present a robust lane-detection-and-tracking algorithm to deal with challenging sce...
123
click to vote
TWC
2008
15 years 4 months ago
2008
This paper studies the mutual information transfer characteristics of a novel iterative soft interference cancellation (SIC) aided beamforming receiver communicating over both addi...