Sciweavers

4345 search results - page 481 / 869
» Temporal Constraint Networks
Sort
View
CSFW
2006
IEEE
15 years 10 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
SNPD
2003
15 years 8 months ago
Deductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
Jaan Penjam, Elena Sanko
HPCA
2003
IEEE
16 years 7 months ago
Dynamic Voltage Scaling with Links for Power Optimization of Interconnection Networks
Originally developed to connect processors and memories in multicomputers, prior research and design of interconnection networks have focused largely on performance. As these netw...
Li Shang, Li-Shiuan Peh, Niraj K. Jha
COMSWARE
2007
IEEE
16 years 1 months ago
Real-time End-to-end Network Monitoring in Large Distributed Systems
— Measuring real-time end-to-end network path performance metrics is important for several distributed applications such as media streaming systems (e.g., for switching to paths ...
Han Hee Song, Praveen Yalagandula
SECON
2007
IEEE
16 years 1 months ago
On the Broadcast Capacity of Multihop Wireless Networks: Interplay of Power, Density and Interference
— In this paper we study the broadcast capacity of multihop wireless networks which we define as the maximum rate at which broadcast packets can be generated in the network such...
Alireza Keshavarz-Haddad, Rudolf H. Riedi