1249 search results - page 162 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
EMNLP
2008
15 years 1 months ago
2008
We present a novel learning framework for pipeline models aimed at improving the communication between consecutive stages in a pipeline. Our method exploits the confidence scores ...
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...