23630 search results - page 146 / 4726 » Common Information Model |
130
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
136
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
125
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
194
click to vote
HLK
2003
IEEE
15 years 9 months ago
2003
IEEE
It’s common experience for human vision to perceive full 3D shape and scene from a single 2D image with the occluded parts “filled-in” by prior visual knowledge. In this pa...
142
click to vote
ECIR
1998
Springer
15 years 5 months ago
1998
Springer
In many domains there are specific attributes in documents that carry more weight than the general words in the document. This paper proposes the use of information extraction tec...