Sciweavers

1543 search results - page 98 / 309
» Using a Groupware Space for Distributed Requirements Enginee...
Sort
View
CODES
2011
IEEE
14 years 6 months ago
DistRM: distributed resource management for on-chip many-core systems
The trend towards many-core systems comes with various issues, among them their highly dynamic and non-predictable workloads. Hence, new paradigms for managing resources of many-c...
Sebastian Kobbe, Lars Bauer, Daniel Lohmann, Wolfg...
SEFM
2009
IEEE
16 years 1 months ago
Modal Contracts for Component-Based Design
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
Gregor Goessler, Jean-Baptiste Raclet
EWSA
2004
Springer
15 years 11 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
SIGSOFT
2004
ACM
16 years 7 months ago
Testing static analysis tools using exploitable buffer overflows from open source code
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
Misha Zitser, Richard Lippmann, Tim Leek
AMEC
2003
Springer
15 years 11 months ago
Improving Learning Performance by Applying Economic Knowledge
Digital information economies require information goods producers to learn how to position themselves within a potentially vast product space. Further, the topography of this spac...
Christopher H. Brooks, Robert S. Gazzale, Jeffrey ...