Sciweavers

1377 search results - page 236 / 276
» Flit-Reservation Flow Control
Sort
View
120
Voted
ISPDC
2007
IEEE
15 years 8 months ago
Selection of Optimal Computing Platforms through the Suitability Measure
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
Shean T. McMahon, Isaac D. Scherson
116
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
134
Voted
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 8 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
CAMP
2005
IEEE
15 years 8 months ago
A Plug-and-Play Architecture for Cognitive Video Stream Analysis
— This paper presents an architecture for cognitive analysis of streaming video, in which a new module can easily be plugged in, to add to or even compete with existing functiona...
Thor List, José Bins, Robert B. Fisher, Dav...
ISORC
2005
IEEE
15 years 8 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...