3706 search results - page 84 / 742 » KtSeqC: System Description |
157
click to vote
DSD
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
122
click to vote
ICALT
2005
IEEE
16 years 1 hour ago
2005
IEEE
Existing multi-learner systems support three areas of group collaborative E-learning environments: communication, coordination, and collaboration. This distinction reflects the de...
138
click to vote
FUIN
2006
15 years 6 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
158
click to vote
SEC
2001
15 years 7 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
139
click to vote
AAAI
2004
15 years 7 months ago
2004
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...