Sciweavers

2317 search results - page 168 / 464
» Model based testing for agent systems
Sort
View
200
Voted
DDEP
2000
Springer
15 years 8 months ago
Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
Jin-Cheon Na, Richard Furuta
119
Voted
ATAL
2008
Springer
15 years 5 months ago
Simulation of sensor-based tracking in Second Life
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
Boris Brandherm, Sebastian Ullrich, Helmut Prendin...
112
Voted
DATE
2006
IEEE
115views Hardware» more  DATE 2006»
15 years 9 months ago
Optimal periodic testing of intermittent faults in embedded pipelined processor applications
Today’s nanometer technology trends have a very negative impact on the reliability of semiconductor products. Intermittent faults constitute the largest part of reliability fail...
Nektarios Kranitis, Andreas Merentitis, N. Laoutar...
122
Voted
ATAL
2010
Springer
15 years 4 months ago
EMFGormas: a CASE tool for developing service-oriented open MAS
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
Emilia Garcia, Estefania Argente, Adriana Giret
107
Voted
ATAL
2006
Springer
15 years 7 months ago
A comparison between mechanisms for sequential compute resource auctions
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
Andrew Byde