1856 search results - page 90 / 372 » Formal Dialectic Specification |
133
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
134
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
120
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
131
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
127
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...