423 search results - page 35 / 85 » Specifying Strategies for Exercises |
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
CMOT
2000
14 years 9 months ago
2000
This paper reports on the development of a comprehensive framework for the analysis and formulation of bids in competitive electricity markets. Competing entities submit offers of...
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
ITCC
2002
IEEE
15 years 2 months ago
2002
IEEE
While the persistent data of many advanced database applications, such as OLAP and scientific studies, are characterized by very high dimensionality, typical queries posed on thes...