Sciweavers

1746 search results - page 135 / 350
» Residual for Component Specifications
Sort
View
SBP
2012
Springer
13 years 11 months ago
Opinion Dynamics in Gendered Social Networks: An Examination of Female Engagement Teams in Afghanistan
International forces in Afghanistan have experienced difficulties in developing constructive engagements with the Afghan population, an experience familiar to a wide range of inter...
Thomas W. Moore, Patrick D. Finley, Ryan J. Hammer...
DAS
2008
Springer
15 years 6 months ago
A Fast Preprocessing Method for Table Boundary Detection: Narrowing Down the Sparse Lines Using Solely Coordinate Information
As the rapid growth of PDF document in digital libraries, recognizing the document structure and detecting specific document components are useful for document storage, classifica...
Ying Liu, Prasenjit Mitra, C. Lee Giles
ICSE
2001
IEEE-ACM
15 years 8 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
ECOWS
2006
Springer
15 years 6 months ago
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
FMOODS
2003
15 years 5 months ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters