Sciweavers

17680 search results - page 613 / 3536
» Simulation of Computer Systems and Applications
Sort
View
ICDCSW
2005
IEEE
16 years 21 days ago
QoS Oriented Dynamic Replica Cost Model for P2P Computing
Replication on multiple nodes is an effective way to improve the availability in the P2P or grid environment. It is difficult to determine how many replicas can fulfill the user r...
Feng Mao, Hai Jin, Deqing Zou, Baoli Chen, Li Qi
CORR
2008
Springer
156views Education» more  CORR 2008»
15 years 7 months ago
Wireless Sensor/Actuator Network Design for Mobile Control Applications
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
Feng Xia, Yu-Chu Tian, Yanjun Li, Youxian Sun
CONCUR
1997
Springer
15 years 11 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
EDOC
2006
IEEE
16 years 1 months ago
Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
Dominik Kuropka, Anja Bog, Mathias Weske
IPPS
1998
IEEE
15 years 11 months ago
An Efficient RMS Admission Control and Its Application to Multiprocessor Scheduling
A real-time system must execute functionally correct computations in a timely manner. In order to guarantee that all tasks accepted in the system will meet their timing requiremen...
Sylvain Lauzac, Rami G. Melhem, Daniel Mossé...