950 search results - page 36 / 190 » Machine semantics |
176
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
140
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Folksonomies provide a free source of keywords describing web resources, however, these keywords are free form and unstructured. In this paper, we describe a novel tool that conver...
131
click to vote
SNPD
2003
15 years 5 months ago
2003
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
144
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
A fundamental problem in peer-to-peer networks is how to locate appropriate peers efficiently to answer a specific query request. This paper proposes a model in which semantically...
115
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...