4305 search results - page 488 / 861 » Analysing Protocol Implementations |
165
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
171
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
As computing and communications increasingly pervade our lives, security and protection of sensitive data and systems are emerging as extremely important issues. Networks-onChip (...
186
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
178
click to vote
ICPPW
2008
IEEE
16 years 1 months ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
228
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...