262 search results - page 38 / 53 » Making Specifications Complete Through Models |
124
click to vote
ZUM
1997
Springer
15 years 3 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...
156
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract-- Most current information extraction (IE) approaches have considered only static text corpora, over which we typically have to apply IE only once. Many real-world text co...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
201
click to vote
POPL
2007
ACM
16 years 21 hour ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
SIGCOMM
1996
ACM
15 years 3 months ago
1996
ACM
Mobile IP protocols allow mobile hosts to send and receive packets addressed with their home network IP address, regardless of the IP address of their current point of attachment ...