Sciweavers

583 search results - page 67 / 117
» Concurrency control for distributed cooperative engineering ...
Sort
View
ISORC
2003
IEEE
15 years 11 months ago
Basic Program Structures for Avoiding Priority Inversions
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
K. H. Kim
ISSTA
2004
ACM
15 years 11 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
PPDP
2009
Springer
16 years 26 days ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
COBUILD
1999
Springer
15 years 10 months ago
Meeting Capture in a Media Enriched Conference Room
Abstract. We describe a media enriched conference room designed for capturing meetings. Our goal is to do this in a flexible, seamless, and unobtrusive manner in a public conferenc...
Patrick Chiu, Ashutosh Kapuskar, Lynn Wilcox, Sara...
CBSE
2005
Springer
15 years 12 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He