1992 search results - page 223 / 399 » Model Based Testing with Labelled Transition Systems |
169
click to vote
ASWEC
2009
IEEE
15 years 11 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 ...
165
click to vote
AI
2008
Springer
15 years 6 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...
197
click to vote
RSP
2006
IEEE
16 years 16 days 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...
286
click to vote
OTM
2005
Springer
16 years 19 hour 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)....
274
click to vote
ICDE
2006
IEEE
16 years 8 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...