Sciweavers

1984 search results - page 188 / 397
» The colourful feasibility problem
Sort
View
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 17 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
GLOBECOM
2006
IEEE
16 years 17 days ago
Optimization on Hybrid Channel Assignment for Multi-channel Multi-radio Wireless Mesh Networks
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
Andy An-Kai Jeng, Rong-Hong Jan
ICSM
2006
IEEE
16 years 16 days ago
Guiding the Application of Design Patterns Based on UML Models
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
Lionel C. Briand, Yvan Labiche, Alexandre Sauve
INFOCOM
2006
IEEE
16 years 16 days ago
Network Protocol System Fingerprinting - A Formal Approach
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
Guoqiang Shu, David Lee
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
16 years 16 days ago
Workspace Analysis of a 6-DOF Cable Robot for Hardware-in-the-Loop Dynamic Simulation
- This paper describes the study of the force-closure workspace of a 6-DOF, cable-driven, parallel robot for the application in a hardware-in-the-loop dynamic simulator, which is u...
Xiumin Diao, Ou Ma