2783 search results - page 518 / 557 » The Nature Of Near-Synonymic Relations |
107
click to vote
ER
1997
Springer
15 years 5 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
142
click to vote
ZUM
1997
Springer
15 years 5 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
121
click to vote
CIKM
1993
Springer
15 years 5 months ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...
111
Voted
CONCUR
1992
Springer
15 years 5 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
113
click to vote
POPL
1994
ACM
15 years 5 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...