1121 search results - page 207 / 225 » Building Formal Requirements Models for Reliable Software |
119
Voted
IKE
2004
15 years 3 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...
113
Voted
CODES
2006
IEEE
15 years 8 months 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...
100
Voted
ATAL
2006
Springer
15 years 3 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...
125
Voted
TSE
1998
15 years 1 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...
139
click to vote
DAGSTUHL
2001
15 years 3 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...