3119 search results - page 524 / 624 » General Default Logic |
122
click to vote
DBSEC
2008
15 years 2 months ago
2008
Pervasive computing applications typically involve cooperation among a number of entities spanning multiple organizations. Any security breach in any single entity can have very fa...
107
Voted
LREC
2010
15 years 2 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
133
click to vote
FMOODS
2007
15 years 2 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
IWEC
2007
15 years 2 months ago
2007
Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
SERP
2007
15 years 2 months ago
2007
– The use of design patterns such as the GRASP (General Responsibility Assignment Software Principles) or GoF (Gang-of-Four) patterns in software engineering has been well-docume...