Sciweavers

238 search results - page 40 / 48
» A state-based approach to integration testing based on UML m...
Sort
View
77
Voted
AIMSA
2004
Springer
15 years 2 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 9 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...
164
Voted
GIS
2007
ACM
15 years 10 months 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. ...
90
Voted
BMCBI
2010
133views more  BMCBI 2010»
14 years 9 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 3 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