Sciweavers

3414 search results - page 179 / 683
» System Support for Object Groups
Sort
View
181
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 11 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
173
Voted
ECSCW
1993
15 years 8 months ago
TOSCA Providing organisational information to CSCW applications
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
Wolfgang Prinz
DATAMINE
2000
118views more  DATAMINE 2000»
15 years 6 months ago
Spatial Data Mining: Database Primitives, Algorithms and Efficient DBMS Support
Abstract: Spatial data mining algorithms heavily depend on the efficient processing of neighborhood relations since the neighbors of many objects have to be investigated in a singl...
Martin Ester, Alexander Frommelt, Hans-Peter Krieg...
194
Voted
AB
2007
Springer
16 years 1 months ago
A Stochastic Pi Calculus for Concurrent Objects
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
Céline Kuttler, Cédric Lhoussaine, J...
207
Voted
DSN
2003
IEEE
16 years 7 days ago
GOOFI: Generic Object-Oriented Fault Injection Tool
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
Joakim Aidemark, Jonny Vinter, Peter Folkesson, Jo...