Sciweavers

439 search results - page 65 / 88
» Mobile Process Description and Execution
Sort
View
KBSE
2006
IEEE
14 years 1 months ago
Concurrent Engineering support in Software Engineering
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
Jacky Estublier, Sergio Garcia
SAT
2009
Springer
126views Hardware» more  SAT 2009»
14 years 2 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
NOMS
2008
IEEE
121views Communications» more  NOMS 2008»
14 years 2 months ago
Handover prediction strategy for 3G-WLAN overlay networks
In 3G-WLAN overlay network environments, a UE is apt to lose the WLAN signal without any notice by moving while it connects to WLAN because it can be apart from the WLAN coverage s...
Hyeyeon Kwon, Mijeong Yang, Aesoon Park, S. Venkat...
ISPAN
2005
IEEE
14 years 1 months ago
A Hybrid Algorithm for Dynamic Lightpath Protection in Survivable WDM Optical Networks
- Dynamic lightpath protection in survivable WDM networks requires finding a pair of diverse routes (i.e., a primary route and a backup route that are link-disjoint) that form a cy...
Vinh Trong Le, Son-Hong Ngo, Xiaohong Jiang, Susum...
ICRA
1998
IEEE
155views Robotics» more  ICRA 1998»
14 years 2 days ago
Reactive Visual Control of Multiple Non-Holonomic Robotic Agents
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
Kwun Han, Manuela M. Veloso