Sciweavers

3259 search results - page 419 / 652
» Modeling Autonomous-System Relationships
Sort
View
AH
2006
Springer
15 years 8 months ago
The Effect of Adapting Feedback Generality in ITS
Intelligent tutoring systems achieve much of their success by adapting to individual students. One potential avenue for personalization is feedback generality. This paper presents ...
Brent Martin, Antonija Mitrovic
APSEC
2004
IEEE
15 years 8 months ago
Systematic Operational Profile Development for Software Components
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...
CMSB
2004
Springer
15 years 8 months ago
Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data
We propose a robust estimation method of gene networks based on microarray gene expression data. It is well-known that microarray data contain a large amount of noise and some outl...
Seiya Imoto, Tomoyuki Higuchi, SunYong Kim, Euna J...
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 8 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
COORDINATION
2006
Springer
15 years 8 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...