Sciweavers

4810 search results - page 304 / 962
» Modeling Value Speculation
Sort
View
APSEC
2008
IEEE
16 years 1 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
CCGRID
2008
IEEE
16 years 1 months ago
Adaptive Hybrid Model for Long Term Load Prediction in Computational Grid
Long term load prediction can assist task scheduling and load balancing greatly in distributed environment such as computational grid. Due to the dynamic property of grid environm...
Yulai Yuan, Yongwei Wu, Guangwen Yang, Weimin Zhen...
EDOC
2008
IEEE
16 years 1 months ago
Using Enterprise Architecture Models for System Quality Analysis
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
Per Närman, Marten Schönherr, Pontus Joh...
168
Voted
PADL
2007
Springer
16 years 24 days ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
IAT
2005
IEEE
16 years 8 days ago
Trust Model for Open Ubiquitous Agent Systems
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
Martin Rehák, Lukás Foltýn, M...