3119 search results - page 567 / 624 » Abstract Requirement Analysis in Multiagent System Design |
125
click to vote
SERP
2003
15 years 4 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
131
click to vote
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
126
Voted
WSC
2001
15 years 5 months ago
2001
This paper presents methodologies to represent satellite communications (SATCOM) behaviors in network simulation. This paper is based on tasks performed for generic network warfar...
171
Voted
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Dynamic RAM (DRAM) has been the best technology for main memory for over thirty years. In embedded space applications, radiation hardened DRAM is needed because gamma ray...