3468 search results - page 195 / 694 » An open logical framework |
223
Voted
IRI
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
169
click to vote
PPPJ
2006
ACM
16 years 15 days ago
2006
ACM
Currently there exist dozens of web controller frameworks that are incompatible, but at the same time have large portions of overlapping functionality that is implemented over and...
201
Voted
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
197
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
143
Voted
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...