Sciweavers

2227 search results - page 121 / 446
» Reversibility and Models for Concurrency
Sort
View
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 11 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
DAWAK
2005
Springer
15 years 8 months ago
Incremental Data Mining Using Concurrent Online Refresh of Materialized Data Mining Views
Abstract. Data mining is an iterative process. Users issue series of similar data mining queries, in each consecutive run slightly modifying either the definition of the mined dat...
Mikolaj Morzy, Tadeusz Morzy, Marek Wojciechowski,...
CONCURRENCY
2008
81views more  CONCURRENCY 2008»
15 years 6 months ago
Resource space view tour mechanism
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
Jin Liu, Xiang Li, Liang Feng
ICECCS
1995
IEEE
94views Hardware» more  ICECCS 1995»
15 years 9 months ago
Requirements for client/server performance modeling
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
Joseph J. Martinka
OTM
2005
Springer
15 years 11 months ago
Using ORM to Model Web Systems
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
Olga De Troyer, Sven Casteleyn, Peter Plessers