597 search results - page 68 / 120 » E-Process Design and Assurance Using Model Checking |
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
120
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
156
Voted
PERCOM
2010
ACM
15 years 15 days ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
120
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
145
click to vote
TSE
1998
15 years 2 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...