Sciweavers

1098 search results - page 178 / 220
» System safety as an emergent property in composite systems
Sort
View
TEC
2008
93views more  TEC 2008»
13 years 8 months ago
The Self-Organization of Interaction Networks for Nature-Inspired Optimization
Over the last decade, significant progress has been made in understanding complex biological systems, however there have been few attempts at incorporating this knowledge into natu...
James M. Whitacre, Ruhul A. Sarker, Q. Tuan Pham
ICTAC
2009
Springer
13 years 6 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
UML
1998
Springer
14 years 29 days ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
ICPR
2008
IEEE
14 years 3 months ago
A performance controllable octree construction method
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
Zen Chen, Hong-Long Chou, Wen-Chao Chen
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
14 years 2 months ago
A Novel Distributed and Practical Incentive Mechanism for Peer to Peer Live Video Streaming
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
Yun Tang, Lifeng Sun, Meng Zhang, Shiqiang Yang, Y...