1341 search results - page 95 / 269 » Logic for Modeling Product Structure |
144
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
130
Voted
TOCS
2008
15 years 3 months ago
2008
Bigtable is a distributed storage system for managing structured data that is designed to scale to a very large size: petabytes of data across thousands of commodity servers. Many...
129
click to vote
STACS
1994
Springer
15 years 7 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
127
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...
126
click to vote
ICPADS
1996
IEEE
15 years 7 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...