4211 search results - page 494 / 843 » A formal approach to MASQ |
202
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
144
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Case-based reasoning (CBR) aims at using experience from the past in order to guide future problem solving rather than “starting from scratch” every time. We propose a CBR stra...
158
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
159
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
178
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...