Sciweavers

1438 search results - page 217 / 288
» Models for Trustworthy Service and Process Oriented Systems
Sort
View
AINA
2003
IEEE
15 years 3 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
ICASSP
2010
IEEE
14 years 9 months ago
Towards objectifying information hiding
In this paper, the concept of object-oriented embedding (OOE) is introduced into information hiding in general and particularly to steganography which is the science that involves...
Abbas Cheddad, Joan Condell, Kevin Curran, Paul Mc...
DIGITALCITIES
2000
Springer
15 years 4 months ago
Experiments in the Digital 'Engineering City Oulu'
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
Lech Krzanik, Minna Mäkäräinen
WSC
2001
15 years 1 months ago
An object-oriented paradigm for simulating postal distribution centers
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
K. Preston White, Brian Barney, Scott Keller, Robe...
GI
2010
Springer
14 years 9 months ago
Reusable Interaction Protocols for Workflows
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
Alexander Pokahr, Lars Braubach