Sciweavers

5227 search results - page 349 / 1046
» Enterprise modeling using class and instance models
Sort
View
ACTA
2007
88views more  ACTA 2007»
15 years 7 months ago
Distributed Consensus, revisited
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
Rachele Fuzzati, Massimo Merro, Uwe Nestmann
ANSS
2002
IEEE
15 years 11 months ago
Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
Peter Fritzson, Peter Bunus
AB
2007
Springer
16 years 1 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
EMNLP
2006
15 years 8 months ago
Boosting Unsupervised Relation Extraction by Using NER
Web extraction systems attempt to use the immense amount of unlabeled text in the Web in order to create large lists of entities and relations. Unlike traditional IE methods, the ...
Ronen Feldman, Benjamin Rosenfeld
ISORC
2008
IEEE
16 years 1 months ago
Compositional Feasibility Analysis of Conditional Real-Time Task Models
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
Madhukar Anand, Arvind Easwaran, Sebastian Fischme...