4372 search results - page 685 / 875 » Data Semantics Revisited |
133
click to vote
ASM
2000
ASM
15 years 7 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
129
click to vote
ICDAR
1999
IEEE
15 years 7 months ago
1999
IEEE
A method is presented for segmenting documents into conceptually related areas. Determining the equivalence of text is often based on the number of word repetitions. This approach...
123
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
129
click to vote
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
123
click to vote
SP
1998
IEEE
15 years 7 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...