803 search results - page 147 / 161 » Building Formal Models for Software Requirements |
123
click to vote
ATAL
2006
Springer
15 years 6 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...
145
click to vote
TSE
1998
15 years 3 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...
161
click to vote
DAGSTUHL
2001
15 years 5 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...
153
click to vote
IEEEMM
2002
15 years 3 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
181
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...