2409 search results - page 185 / 482 » Logical systems for structured specifications |
146
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
160
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...
162
click to vote
ICSEA
2008
IEEE
16 years 29 days ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
140
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
161
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...