10238 search results - page 350 / 2048 » Package-Based Software Development |
197
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
173
click to vote
IESA
2009
2009
Designing and Managing Organizational Interoperability with Organizational Capabilities and Roadmaps
15 years 4 months ago
This paper discusses organizational interoperability issues in through the study of two cases. Then it presents a framework which can help to design and manage this interoperabili...
314
click to vote
AC
2011
Springer
15 years 1 months ago
2011
Springer
Traditionally, the development of computing systems has been focused on performance improvements driven by the demand of applications from consumer, scientific, and business domai...
210
click to vote
AROBOTS
2011
15 years 1 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
171
click to vote
IWPC
2005
IEEE
16 years 9 days ago
2005
IEEE
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...