4586 search results - page 866 / 918 » Computing stable models in parallel |
133
click to vote
DAGSTUHL
2010
15 years 1 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Many industries have been developing e-business standards to improve business-to-business interoperability on a mass scale. Most such standards are composed of business data model...