2881 search results - page 435 / 577 » Model Checking for Programming Languages using Verisoft |
142
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly aļ...
156
click to vote
NGITS
1995
Springer
15 years 9 months ago
1995
Springer
This paper investigates the problem ofautomatically learning declarative models of information sources available on the Internet. We report on ILA, a domain-independent program th...
178
Voted
EWDW
1990
15 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
174
click to vote
ICMT
2009
Springer
16 years 21 days ago
2009
Springer
In software product line engineering, feature composition generates software tailored to speciļ¬c requirements from a common set of artifacts. Superimposition is a technique to me...
162
Voted
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Constructing a program from a speciļ¬cation is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...