Sciweavers

1012 search results - page 135 / 203
» What Robots Can Do
Sort
View
146
Voted
FGCS
2006
101views more  FGCS 2006»
15 years 4 months ago
Evaluating architectures for independently auditing service level agreements
Web and grid services are quickly maturing as a technology that allows for the integration of applications belonging to different administrative domains, enabling much faster and ...
Ana Carolina Barbosa, Jacques Philippe Sauvé...
136
Voted
SOCO
2008
Springer
15 years 4 months ago
Interface Composition for Web Service Intermediaries
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
Sara Forghanizadeh, Eric Wohlstadter
SYNTHESE
2008
71views more  SYNTHESE 2008»
15 years 4 months ago
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
Ingvar Johansson
MOC
1998
92views more  MOC 1998»
15 years 4 months ago
Perturbing polynomials with all their roots on the unit circle
Given a monic real polynomial with all its roots on the unit circle, we ask to what extent one can perturb its middle coefficient and still have a polynomial with all its roots on ...
Michael J. Mossinghoff, Christopher G. Pinner, Jef...
146
Voted
TSE
1998
93views more  TSE 1998»
15 years 4 months ago
A Strategy for Improving Safety Related Software Engineering Standards
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
Norman E. Fenton, Martin Neil