7055 search results - page 331 / 1411 » Some New 4-Designs |
206
Voted
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
197
click to vote
SOFSEM
2007
Springer
16 years 27 days ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
177
click to vote
AICCSA
2006
IEEE
16 years 26 days ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
156
Voted
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
158
click to vote
HICSS
2006
IEEE
16 years 25 days ago
2006
IEEE
The future of mobile telephony is expected to rely on mobile services and the use of mobile services will be an integral part of the revenues to be generated by third generation m...