Sciweavers

5384 search results - page 206 / 1077
» Open Standards Requirements
Sort
View
RULEML
2009
Springer
16 years 1 months ago
The Making of SPINdle
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
Ho-Pun Lam, Guido Governatori
VAMOS
2009
Springer
16 years 1 months ago
Functional Variant Modeling for Adaptable Functional Networks
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
Cem Mengi, Ibrahim Armaç
PERCOM
2008
ACM
16 years 1 months ago
An Autonomic Context Management System for Pervasive Computing
Abstract—Context-aware applications adapt to changing computing environments or changing user circumstances/tasks. Context information that supports such adaptations is provided ...
Peizhao Hu, Jadwiga Indulska, Ricky Robinson
SIBGRAPI
2008
IEEE
16 years 1 months ago
Benchmark for Quantitative Evaluation of Assisted Object Segmentation Methods to Image Sequences
Evaluation of segmentation methods applied to image sequences consists in the analysis of such methods according to quantitative and/or qualitative criteria, usually driven to som...
Franklin César Flores, Roberto de Alencar L...
ACNS
2008
Springer
252views Cryptology» more  ACNS 2008»
16 years 1 months ago
Generic Constructions of Stateful Public Key Encryption and Their Applications
We present generic constructions of stateful public key encryption (StPE). We build several new StPE schemes and explain existing ones using our generic constructions. Of the new ...
Joonsang Baek, Jianying Zhou, Feng Bao