Sciweavers

3077 search results - page 443 / 616
» Research issues
Sort
View
ACSD
2004
IEEE
125views Hardware» more  ACSD 2004»
15 years 9 months ago
Comparison of Methods for Supervisory Control and Submodule Construction
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
Gregor von Bochmann, Bassel Daou
APNOMS
2006
Springer
15 years 9 months ago
A Seamless Service Management with Context-Aware Handoff Scheme in Ubiquitous Computing Environment
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...
Tae-Hoon Kang, Chung-Pyo Hong, Won-Joo Jang, Shin-...
ATAL
2006
Springer
15 years 9 months ago
Tractable negotiation in tree-structured domains
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet
154
Voted
COMPSAC
2004
IEEE
15 years 9 months ago
Web Application Bypass Testing
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang
CW
2004
IEEE
15 years 9 months ago
Modeling of Bodies and Clothes for Virtual Environments
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...
Nadia Magnenat-Thalmann, Frederic Cordier, Hyewon ...