3821 search results - page 419 / 765 » A Security Model for Aglets |
178
Voted
SOSYM
2008
15 years 7 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
202
Voted
WEBI
2009
Springer
16 years 2 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
243
click to vote
ICNS
2006
IEEE
16 years 1 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
239
Voted
CRV
2005
IEEE
16 years 1 months ago
2005
IEEE
Face recognition in video has gained wide attention as a covert method for surveillance to enhance security in a variety of application domains (e.g., airports). A video contains ...
172
click to vote
ITP
2010
15 years 11 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...