Sciweavers

1951 search results - page 231 / 391
» UML-Based integration testing
Sort
View
ATAL
2006
Springer
15 years 7 months ago
Synthetic humans in emergency response drills
Being able to realistically simulate humans in emergency response activities is a key challenge for advancing the field of information technology for emergency response. Building ...
Daniel Massaguer, Vidhya Balasubramanian, Sharad M...
ESAW
2006
Springer
15 years 7 months ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
FORMATS
2006
Springer
15 years 7 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
134
Voted
AICCSA
2001
IEEE
200views Hardware» more  AICCSA 2001»
15 years 7 months ago
Location Management in Mobile Computing
This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...
Riky Subrata, Albert Y. Zomaya
ASPDAC
2001
ACM
112views Hardware» more  ASPDAC 2001»
15 years 7 months ago
Parameterized MAC unit implementation
Ethernet communication devices, such as adapter, hub, bridge and switch, all follow IEEE 802.3 standard protocol. We have designed and implemented an integrated 10/100 Mbps Etherne...
Ming-Chih Chen, Ing-Jer Huang, Chung-Ho Chen