Sciweavers

674 search results - page 58 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
SAINT
2007
IEEE
15 years 5 months ago
Towards a Mobile Peer-to-Peer Service Platform
Peer-to-Peer (P2P) technology is regarded as being disruptive for traditional fixed and mobile operators. However, it can also be considered as an opportunity for new ways of serv...
Wolfgang Kellerer, Zoran Despotovic, Maximilian Mi...
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
15 years 5 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
FGCN
2008
IEEE
125views Communications» more  FGCN 2008»
15 years 5 months ago
Coordinating System Software for Power Savings
Power consumption is becoming a primary concern as a result of tremendous increasing in computer power usage. Innumerable methods and techniques have been exploited to address thi...
Lingxiang Xiang, Jiangwei Huang, Tianzhou Chen
HICSS
2003
IEEE
101views Biometrics» more  HICSS 2003»
15 years 4 months ago
System Architecture for Cross Border Payment A Case Study for the Financial Services Industry
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
Nadia Ayad, Alexander Verbraeck
CONCUR
2001
Springer
15 years 3 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...