2940 search results - page 332 / 588 » Behavioral Constraints for Services |
190
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
175
click to vote
DIAGRAMS
2010
Springer
15 years 10 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
145
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
133
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper investigates incremental multiagent learning in static or evolving structured networks. Learning examples are incrementally distributed among the agents, and the object...
177
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
Given the rate of growth of the Web, scalability of search engines is a key issue, as the amount of hardware and network resources needed is large, and expensive. In addition, sea...