Sciweavers

879 search results - page 125 / 176
» Software Reuse in an Industrial Setting: A Case Study
Sort
View
VISSYM
2007
14 years 22 days ago
Viewpoint Selection for Intervention Planning
Viewpoint selection is crucial for medical intervention planning. The interactive exploration of a scene with 3d objects involves the systematic analysis of several anatomic struc...
Konrad Mühler, Mathias Neugebauer, Christian ...
TCS
2002
13 years 10 months ago
Relating CASL with other specification languages: the institution level
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
Till Mossakowski
JUCS
2010
159views more  JUCS 2010»
13 years 5 months ago
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
Sergio Gutiérrez Santos, Jaime Mayor-Berzal...
CPE
2003
Springer
149views Hardware» more  CPE 2003»
14 years 3 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
ISPASS
2006
IEEE
14 years 4 months ago
Modeling TCAM power for next generation network devices
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
Banit Agrawal, Timothy Sherwood