16218 search results - page 479 / 3244 » Standards |
166
click to vote
FCSC
2008
15 years 7 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
213
click to vote
IANDC
2008
15 years 7 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
173
click to vote
IEICET
2008
15 years 7 months ago
2008
Cryptographic hash functions have been widely studied and are used in many current systems. Though much research has been done on the security of hash functions, system designers ...
235
click to vote
CAI
2006
Springer
15 years 7 months ago
2006
Springer
MAS is a powerful paradigm in nowadays distributed systems, however its disadvantage is that it lacks the interconnection with semantic web standards such as OWL. The aim of this a...
168
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...