Sciweavers

3338 search results - page 420 / 668
» Assigning Papers to Referees
Sort
View
KBSE
2007
IEEE
16 years 25 days ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
MMM
2007
Springer
135views Multimedia» more  MMM 2007»
16 years 25 days ago
Ontology-Based Annotation of Paintings Using Transductive Inference Framework
Domain-specific knowledge of paintings defines a wide range of concepts for annotation and flexible retrieval of paintings. In this work, we employ the ontology of artistic concept...
Yelizaveta Marchenko, Tat-Seng Chua, Ramesh Jain
QEST
2007
IEEE
16 years 25 days ago
Interchange Formats for Performance Models: Experimentation and Ouput
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
Connie U. Smith, Catalina M. Lladó, Ram&oac...
ROBOCOMM
2007
IEEE
16 years 25 days ago
Decentralized swarm aggregation with static communication links
— The objective of this paper is decentralized swarm aggregation with collision avoidance. Specifically, each agent is assigned with a control law which is the sum of two elemen...
Dimos V. Dimarogonas, Kostas J. Kyriakopoulos
RTCSA
2007
IEEE
16 years 25 days ago
Activity-based Access Control Model to Hospital Information
Hospital work is characterized by the need to manage multiple activities simultaneously, constant local mobility, frequently interruptions, and intense collaboration and communica...
Le Xuan Hung, Sungyoung Lee, Young-Koo Lee, Heejo ...