Sciweavers

238 search results - page 40 / 48
» A state-based approach to integration testing based on UML m...
Sort
View
AIMSA
2004
Springer
15 years 5 months ago
Planning and Monitoring Web Service Composition
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, ...
TROB
2008
107views more  TROB 2008»
14 years 11 months ago
Templates and Anchors for Antenna-Based Wall Following in Cockroaches and Robots
The interplay between robotics and neuromechanics facilitates discoveries in both fields: nature provides roboticists with design ideas, while robotics research elucidates critical...
J. Lee, S. N. Sponberg, Owen Y. Loh, Andrew G. Lam...
GIS
2007
ACM
16 years 20 days ago
Exploiting automatically inferred constraint-models for building identification in satellite imagery
The building identification (BID) problem is based on a process that uses publicly available information to automatically assign addresses to buildings in satellite imagery. In pr...
Martin Michalowski, Craig A. Knoblock, Kenneth M. ...
BMCBI
2010
133views more  BMCBI 2010»
14 years 11 months ago
Predicting enzyme targets for cancer drugs by profiling human Metabolic reactions in NCI-60 cell lines
Background: Drugs can influence the whole metabolic system by targeting enzymes which catalyze metabolic reactions. The existence of interactions between drugs and metabolic react...
Limin Li, Xiaobo Zhou, Wai-Ki Ching, Ping Wang
WETICE
2005
IEEE
15 years 5 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop