Sciweavers

2681 search results - page 324 / 537
» Problem F
Sort
View
JSW
2007
97views more  JSW 2007»
15 years 6 months ago
Instantiation of a Classification System Framework that Facilitates Reuse
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
Sérgio F. Lopes, Adriano Tavares, Joã...
WS
2008
ACM
15 years 6 months ago
OWL 2: The next step for OWL
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OW...
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, B...
FUIN
2000
68views more  FUIN 2000»
15 years 6 months ago
Models For Dependable Computation with Multiple Inputs and Some Hardness Results
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...
Yongge Wang, Yvo Desmedt, Mike Burmester
SIAMAM
2000
71views more  SIAMAM 2000»
15 years 6 months ago
Wave-Block in Excitable Media Due to Regions of Depressed Excitability
We study propagation failure using the one-dimensional scalar bistable equation with a passive "gap" region. By applying comparison principles for this type of equation, ...
James P. Keener, Timothy J. Lewis
JAIR
1998
163views more  JAIR 1998»
15 years 6 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi