851 search results - page 31 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
113
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
111
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
215
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
152
click to vote
CSI
2007
15 years 2 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
147
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...