7580 search results - page 1257 / 1516 » Prometheus design tool |
164
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...
191
click to vote
CSFW
2006
IEEE
16 years 17 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
160
click to vote
CSMR
2006
IEEE
16 years 17 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
174
click to vote
DASFAA
2006
IEEE
16 years 17 days ago
2006
IEEE
The DTD of a set of XML documents may change due to many reasons such as changes to the real world events, changes to the user’s requirements, and mistakes in the initial design....
165
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....