1804 search results - page 164 / 361 » On set systems with a threshold property |
172
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
169
click to vote
DEXAW
2006
IEEE
16 years 19 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
198
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
189
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...
180
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...