Sciweavers

1803 search results - page 92 / 361
» Architectural framework for supporting operating system surv...
Sort
View
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 10 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
AIPS
1994
15 years 7 months ago
A Framework for Automatic Problem Decomposition in Planning
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
Qiang Yang, Shuo Bai, Guiyou Qiu
SELMAS
2004
Springer
15 years 11 months ago
Systematic Integration Between Requirements and Architecture
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
ICWE
2003
Springer
15 years 11 months ago
An Educational Component Based Framework for Web ITS Development
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
Mónica Trella, Ricardo Conejo, Eduardo Guzm...
CCGRID
2006
IEEE
16 years 12 days ago
Closing Cluster Attack Windows Through Server Redundancy and Rotations
— It is well-understood that increasing redundancy in a system generally improves the availability and dependability of the system. In server clusters, one important form of redu...
Yih Huang, David Arsenault, Arun Sood