5653 search results - page 258 / 1131 » Distributed Conceptual Structures |
159
click to vote
B
2007
Springer
16 years 24 days ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
162
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
Scalable atomic and parallel access to noncontiguous regions of a file is essential to exploit high performance I/O as required by large-scale applications. Parallel I/O framewor...
178
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
154
click to vote
ICARIS
2005
Springer
16 years 4 days ago
2005
Springer
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
190
click to vote
ICWE
2005
Springer
16 years 3 days ago
2005
Springer
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...