6308 search results - page 915 / 1262 » Modeling Urgency in Timed Systems |
210
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
202
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Information can change rapidly on the web. For example, news may hint some new story starts to develop. Many more news related to the original event begin to pour in the web. Im...
158
click to vote
WSC
2007
15 years 9 months ago
2007
One of the most important gaps in road safety management practises is the lack of mature methods for estimating reliability. Road safety performance assessment systems have been d...
197
click to vote
ANLP
2000
15 years 8 months ago
2000
We empirically show that there are significant differences between the discourse structure of Japanese texts and the discourse structure of their corresponding English translation...
176
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...