Sciweavers

2703 search results - page 467 / 541
» Learning operational requirements from goal models
Sort
View
CLOUD
2010
ACM
14 years 3 months ago
Virtual machine power metering and provisioning
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...
Aman Kansal, Feng Zhao, Jie Liu, Nupur Kothari, Ar...
BMCBI
2008
94views more  BMCBI 2008»
13 years 10 months ago
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...
Ruchi Verma, Ajit Tiwari, Sukhwinder Kaur, Grish C...
PLDI
2010
ACM
14 years 3 months ago
Traceable data types for self-adjusting computation
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat...
IJFCS
2006
130views more  IJFCS 2006»
13 years 10 months ago
Mealy multiset automata
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
Gabriel Ciobanu, Viorel Mihai Gontineac
STORYTELLING
2005
Springer
14 years 3 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo