Sciweavers

2861 search results - page 449 / 573
» The multi-layered network design problem
Sort
View
145
Voted
FOSSACS
2008
Springer
15 years 5 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
VISAPP
2008
15 years 4 months ago
AN Automated Visual Event Detection System for Cabled Observatory Video
The permanent presence of underwater cameras on cabled observatories, such as the Victoria Experimental Network Under the Sea (VENUS) and Eye-In-The-Sea (EITS) on Monterey Accelera...
Danelle E. Cline, Duane R. Edgington, Jér&o...
EUMAS
2006
15 years 4 months ago
Towards Payment Systems for Mobile Agents
Future areas of application for mobile agents technology are open, distributed and decentralized networks, where Mobile Agents autonomously perform tasks on behalf of their princi...
Christian Anhalt, Stefan Kirn
119
Voted
INTERACT
2003
15 years 4 months ago
Managing Multiple Passwords and Multiple Logins: MiFA
Internet users today who subscribe to many different accounts or subscriptions online face a bewildering array of logins and passwords to remember on security systems where usabil...
Bo Lu, Michael Twidale
122
Voted
WSC
2004
15 years 4 months ago
Panel on Future Challenges in Modeling Methodology
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling me...
Simon J. E. Taylor, Peter Lendermann, Ray J. Paul,...