1121 search results - page 207 / 225 » Building Formal Requirements Models for Reliable Software |
172
click to vote
IKE
2004
15 years 7 months ago
2004
- Space weather refers to conditions on the sun and in the solar wind, magnetosphere, ionosphere, and thermosphere that can influence the performance and reliability of space-borne...
174
click to vote
CODES
2006
IEEE
16 years 2 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
143
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
169
click to vote
TSE
1998
15 years 5 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
186
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...