4341 search results - page 543 / 869 » Quantitative Model checking |
141
Voted
KCAP
2005
ACM
16 years 7 days ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
181
click to vote
FMCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
174
click to vote
IDEAL
2004
Springer
16 years 1 days ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
151
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
203
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Interconnect networks play a critical role in shared memory multiprocessor systems-on-chip (MPSoC) designs. MPSoC performance and power consumption are greatly affected by the pac...