3119 search results - page 350 / 624 » Abstract Requirement Analysis in Multiagent System Design |
156
click to vote
ICPP
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract—Federated systems have recently attracted much attention because they allow loosely coupled organizations to share resources for common benefits. However, discovering r...
131
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The design and the validation of an automatic plaque characterization technique based on Intravascular Ultrasound (IVUS) usually requires a data ground-truth. The histolo...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
161
click to vote
ICNP
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
178
click to vote
CANDC
2004
ACM
15 years 5 months ago
2004
ACM
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...