2410 search results - page 304 / 482 » Multiset Ordering Constraints |
162
click to vote
RTAS
2007
IEEE
16 years 10 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
167
click to vote
CP
2007
Springer
16 years 7 days ago
2007
Springer
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...
196
click to vote
ICARIS
2007
Springer
16 years 6 days ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
163
click to vote
ASWEC
2006
IEEE
16 years 3 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
157
click to vote
FDL
2006
IEEE
16 years 3 days ago
2006
IEEE
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...