1164 search results - page 40 / 233 » Using CBR for Semantic Analysis of Software Specifications |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
134
click to vote
APCCM
2009
15 years 27 days ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
100
click to vote
WPES
2005
ACM
15 years 5 months ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
118
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...