1567 search results - page 140 / 314 » A Mechanized Model of the Theory of Objects |
113
click to vote
WSC
1998
15 years 3 months ago
1998
The current structure of the High Level Architecture (HLA) puts a tremendous burden on network load and CPU utilization for large distributed simulations due to its limited contro...
113
click to vote
AAAI
2010
15 years 21 days ago
2010
hey generalize these factors to the abstract concepts of ability, integrity, and benevolence. This model does not use probabilistic decision theory. Other SCM trust factors have be...
115
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
105
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
120
click to vote
SSD
2009
Springer
15 years 8 months ago
2009
Springer
The standard database mechanisms for concurrency control, which include transactions and locking protocols, do not provide the support needed for updating complex geographic data i...