670 search results - page 57 / 134 » Software safety: relating software assurance and software in... |
BTW
2007
Springer
14 years 4 months ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
CL
2007
Springer
13 years 10 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
ASWEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
WOA
2001
13 years 11 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
ANLP
1997
13 years 11 months ago
1997
The shift from Computational Linguistics to Language Engineering is indicative of new trends in NLP. This paper reviews two NLP engineering problems: reuse and integration, while ...