Sciweavers

10072 search results - page 222 / 2015
» Composition of Model Programs
Sort
View
ECOOP
1999
Springer
15 years 10 months ago
A Trace Model for Pointers and Objects
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
C. A. R. Hoare, Jifeng He
PASTE
2010
ACM
15 years 10 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
ELPUB
2006
ACM
16 years 16 days ago
Pushing the Quality Level in Networked News Business: Semantic-Based Content Retrieval and Composition in International News Pub
Electronic publishing exploits numerous possibilities to present or exchange information and to communicate via most current media like the Internet. By utilizing modern Web techn...
Markus W. Schranz
ISORC
2005
IEEE
16 years 4 days ago
A GTRBAC Based System for Dynamic Workflow Composition and Management
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
WORDS
2005
IEEE
16 years 4 days ago
Progressive Ranking and Composition of Web Services Using Covering Arrays
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai