7452 search results - page 1087 / 1491 » A Semantics for Multiprocessor Systems |
189
Voted
FASE
2003
Springer
16 years 2 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
180
click to vote
ICANN
2003
Springer
16 years 2 days ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...
156
click to vote
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
188
Voted
ACIIDS
2009
IEEE
15 years 12 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
171
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Software-based distributed shared memory (DSM) systems do usually not provide any means to use shared memory regions as stacks or via an efficient heap memory allocator. Instead ...