1992 search results - page 223 / 399 » Model Based Testing with Labelled Transition Systems |
133
Voted
ASWEC
2009
IEEE
15 years 8 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
122
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...
153
click to vote
RSP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
240
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
228
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...