Sciweavers

49 search results - page 7 / 10
» Formal ontology meets industry
Sort
View
EDOC
2009
IEEE
14 years 1 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
FMICS
2010
Springer
13 years 11 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
FASE
2007
Springer
14 years 4 months ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
SIGADA
2004
Springer
14 years 3 months ago
Information systems security engineering: a critical component of the systems engineering lifecycle
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
James F. Davis
BMCBI
2007
121views more  BMCBI 2007»
13 years 9 months ago
e-Science and biological pathway semantics
Background: The development of e-Science presents a major set of opportunities and challenges for the future progress of biological and life scientific research. Major new tools a...
Joanne S. Luciano, Robert D. Stevens