6308 search results - page 357 / 1262 » Modeling Urgency in Timed Systems |
151
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
177
click to vote
PAA
2008
15 years 6 months ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
180
click to vote
ACISICIS
2005
IEEE
16 years 10 days ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
175
click to vote
COOPIS
2003
IEEE
16 years 10 hour ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...