2702 search results - page 54 / 541 » Practically Applicable Formal Methods |
CIA
2004
Springer
15 years 3 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
ACJ
2002
14 years 9 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
PRL
2000
14 years 9 months ago
2000
Automatic detection of human faces is one of the most dicult problems in pattern recognition. In many practical applications (e.g. personal identi
ARGMAS
2004
Springer
15 years 1 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...