6308 search results - page 900 / 1262 » Modeling Urgency in Timed Systems |
184
Voted
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...
206
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
235
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
170
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
181
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...