Sciweavers

943 search results - page 166 / 189
» Simulation based deadlock analysis for system level designs
Sort
View
SIGSOFT
2001
ACM
14 years 8 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
CCS
2004
ACM
14 years 29 days ago
On achieving software diversity for improved network security using distributed coloring algorithms
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
Adam J. O'Donnell, Harish Sethu
CIVR
2010
Springer
246views Image Analysis» more  CIVR 2010»
13 years 5 months ago
Genre-specific semantic video indexing
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
Jun Wu, Marcel Worring
GLOBECOM
2009
IEEE
13 years 5 months ago
Constellation Precoded Beamforming
Abstract--We present and analyze the performance of constellation precoded beamforming. This multi-input multi-output transmission technique is based on the singular value decompos...
Hong Ju Park, Ender Ayanoglu
VLUDS
2010
225views Visualization» more  VLUDS 2010»
13 years 2 months ago
Visualization in Human-Centered Virtual Factories
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
Xiang Yang, Eduard Deines, Jan C. Aurich