575 search results - page 105 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
HOST
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
106
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is a standard for managing IP multimedia sessions in the Internet. Identity management in SIP is a crucial security field that deals with id...
ICEIS
2005
IEEE
15 years 5 months ago
2005
IEEE
: In the recent years, XML has become the universal interchange format. Many investigations have been made on storing, querying and integrating XML with existing applications. Many...
SIGMOD
1997
ACM
15 years 3 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
108
click to vote
APN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...