3082 search results - page 230 / 617 » Deviation Analysis: A New Use of Model Checking |
182
click to vote
APSEC
2006
IEEE
16 years 17 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
188
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
147
click to vote
MKWI
2008
15 years 8 months ago
2008
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
147
click to vote
ISCC
2007
IEEE
16 years 24 days ago
2007
IEEE
— It is possible to show that well-known attacks on authentication protocols are flawed. This is a problem, since good protocols may thus be dismissed rather than improved and p...
206
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...