Sciweavers

757 search results - page 122 / 152
» Composing Security-Aware Software
Sort
View
CCGRID
2004
IEEE
15 years 1 months ago
Capability matching of data streams with network services
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Dis...
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
EWSN
2010
Springer
15 years 1 months ago
Virtualising Testbeds to Support Large-Scale Reconfigurable Experimental Facilities
Experimentally driven research for wireless sensor networks is invaluable to provide benchmarking and comparison of new ideas. An increasingly common tool in support of this is a t...
Tobias Baumgartner, Ioannis Chatzigiannakis, Maick...
WSC
2008
15 years 9 days ago
Distributed agent-based simulation of construction projects with HLA
Simulation techniques can provide a resource-driven schedule and answer many hypothetical scenarios before project execution to improve on conventional project management software...
Hosein Taghaddos, Simaan M. AbouRizk, Yasser Moham...
ESTIMEDIA
2008
Springer
14 years 11 months ago
A stochastic approach for fine grain QoS control
We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions parameterized by quality levels. ...
Jacques Combaz, Loïc Strus