Sciweavers

1954 search results - page 199 / 391
» Improving Software Development Processes with Multicriteria ...
Sort
View
ISORC
2009
IEEE
15 years 9 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
FASE
2004
Springer
15 years 8 months ago
Actor-Centric Modeling of User Rights
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
Ruth Breu, Gerhard Popp
ISOLA
2010
Springer
15 years 1 months ago
A Case Study in Model-Based Adaptation of Web Services
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
Javier Cámara, José Antonio Mart&iac...
COMPSAC
2009
IEEE
15 years 9 months ago
Penetration Testing for Spam Filters
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
Yugesh Madhavan, João W. Cangussu, Ram Dant...
IROS
2006
IEEE
117views Robotics» more  IROS 2006»
15 years 9 months ago
Distributed Control System of Humanoid Robots based on Real-time Ethernet
— In this paper we realize a real-time communication on Ethernet and develop an onbody distributed control system for a humanoid robot, HRP-3P. Real-time communication on Etherne...
Fumio Kanehiro, Yoichi Ishiwata, Hajime Saito, Kaz...