|
1611 |
Advancing operating systems via aspect oriented programming Engel, Michael, 2005
|
|
|
1612 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
1613 |
An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
|
|
|
1614 |
Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
|
|
|
1615 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
|
|
|
1616 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
1617 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
1618 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|
|
1619 |
Developing mobile agents through a formal approach Barbu, Andreea, 2005
|
|
|
1620 |
Digital watermarking-based authentication techniques for real-time multimedia communication Yuan, Song, 2005
|
|