3811 search results - page 163 / 763 » The Safe-Tcl Security Model |
180
click to vote
FROCOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
202
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
213
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
177
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
156
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...