6540 search results - page 1150 / 1308 » Data Stream Sharing |
150
Voted
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
157
Voted
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Construction activities take place in what can be called a dynamic virtual organization (VO). VOs require a secure, reliable, scalable information infrastructure that allows colla...
146
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
181
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Many phenomena related to software development are qualitative in nature. Relevant measures of such phenomena are often collected using semi-structured interviews. Such interviews...
135
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...