4126 search results - page 625 / 826 » Relationships with other Formalisms |
161
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
176
click to vote
WINE
2007
Springer
16 years 18 days ago
2007
Springer
We examine a formal model of sponsored search in which advertisers can bid not only on search terms, but on search terms under specific contexts. A context is any auxiliary infor...
160
click to vote
APSEC
2006
IEEE
16 years 17 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
176
click to vote
BROADNETS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
191
click to vote
ECRTS
2006
IEEE
16 years 17 days ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...