Sciweavers

1564 search results - page 56 / 313
» Tool Support for Architectural Decisions
Sort
View
FPL
2004
Springer
99views Hardware» more  FPL 2004»
15 years 11 months ago
A Novel FPGA Configuration Bitstream Generation Algorithm and Tool Development
A novel configuration bitstream generation tool for a custom FPGA platform is presented. It can support a variety of devices of similar architecture. The tool exhibits technology i...
K. Siozios, George Koutroumpezis, Konstantinos Tat...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Making Resource Decisions for Software Projects
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
Norman E. Fenton, William Marsh, Martin Neil, Patr...
MDM
2007
Springer
160views Communications» more  MDM 2007»
16 years 2 days ago
A Framework and Tool for Personalisation of Mobile Services Using Semantic Web
This paper proposes a framework for personalisation of mobile services called Web Services Personalisation Framework (WSPF). The framework is based on the Service-Oriented Archite...
Ivar Jørstad, Do Van Thanh
SAC
2008
ACM
15 years 5 months ago
A generic XML language for characterising objects to support digital preservation
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...
Christoph Becker, Andreas Rauber, Volker Heydegger...
JAR
2006
103views more  JAR 2006»
15 years 5 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan