Sciweavers

3555 search results - page 488 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
168
Voted
PLILP
1998
Springer
15 years 9 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...
ISCI
2007
74views more  ISCI 2007»
15 years 5 months ago
One-and-only item recommendation with fuzzy logic techniques
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
Chris Cornelis, Jie Lu, Xuetao Guo, Guanquang Zhan...
PPAM
2007
Springer
15 years 11 months ago
Alea - Grid Scheduling Simulation Environment
This work concentrates on the design of a system intended for study of advanced scheduling techniques for planning various types of jobs in a Grid environment. The solution is able...
Dalibor Klusácek, Ludek Matyska, Hana Rudov...
EUROPAR
2005
Springer
15 years 11 months ago
Hierarchical Scheduling for Moldable Tasks
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
Pierre-François Dutot
GLOBECOM
2006
IEEE
15 years 11 months ago
Adaptive Network Resource Management in IEEE 802.11 Wireless Random Access MAC
— Effective and efficient management of wireless network resources is attracting more and more research attention, due to the rapid growing deployment of wireless mesh and ad hoc...
Hao Wang, Changcheng Huang, James Yan