1060 search results - page 190 / 212 » Mechanized semantics |
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
— The concept of Remote Procedure Call (RPC) was proposed more than 30 years ago. Although various RPC systems have been studied and implemented, the existing RPC systems lack ma...
119
click to vote
CCECE
2006
IEEE
15 years 3 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
104
click to vote
SAC
2004
ACM
15 years 3 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
SIGIR
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents a novel domain-independent text segmentation method, which identifies the boundaries of topic changes in long text documents and/or text streams. The method c...