1411 search results - page 134 / 283 » Case Studies of an Insider Framework |
QSIC
2007
IEEE
15 years 5 months ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
IV
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
106
click to vote
RSP
2005
IEEE
15 years 4 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
FORTE
2007
15 years 21 days ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
HICSS
2010
IEEE
14 years 11 months ago
2010
IEEE
Current approaches to Business Process Management (BPM) and Operational Business Intelligence (BI) integration have been very limited and simply reduced to the problem of technica...