Sciweavers

3515 search results - page 454 / 703
» Resource usage analysis
Sort
View
ESORICS
2006
Springer
15 years 10 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
KBSE
2000
IEEE
15 years 10 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
ACL
2007
15 years 8 months ago
SVM Model Tampering and Anchored Learning: A Case Study in Hebrew NP Chunking
We study the issue of porting a known NLP method to a language with little existing NLP resources, specifically Hebrew SVM-based chunking. We introduce two SVM-based methods – ...
Yoav Goldberg, Michael Elhadad
COLING
2008
15 years 8 months ago
Hindi Compound Verbs and their Automatic Extraction
We analyse Hindi complex predicates and propose linguistic tests for their detection. This analysis enables us to identify a category of V+V complex predicates called lexical comp...
Debasri Chakrabarti, Hemang Mandalia, Ritwik Priya...
FEWS
2007
15 years 8 months ago
Constructing Semantic Campus for Academic Collaboration
: This paper proposes a methodology for constructing Semantic Campus, a Semantic Web application that represents the social network of the academics in the university, King Mongkut...
Natenapa Sriharee, Ravikarn Punnarut