4166 search results - page 621 / 834 » Automating the constraining process |
148
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
122
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...
137
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
113
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
147
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...