Sciweavers

29143 search results - page 5524 / 5829
» A Sortation System Model
Sort
View
AAAI
2006
15 years 8 months ago
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
Meir Kalech, Gal A. Kaminka, Amnon Meisels, Yehuda...
ACE
2004
224views Education» more  ACE 2004»
15 years 8 months ago
Automating the Estimation of Project Size from Software Design Tools Using Modified Function Points
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
Jason Ceddia, Martin Dick
ACSW
2006
15 years 8 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...
DAGSTUHL
2004
15 years 8 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai
ECIR
2006
Springer
15 years 8 months ago
A Comparative Study of the Effectiveness of Search Result Presentation on the Web
Presentation of search results in Web-based information retrieval (IR) systems has been dominated by a textual form of information such as the title, snippet, URL, and/or file type...
Hideo Joho, Joemon M. Jose
« Prev « First page 5524 / 5829 Last » Next »