Sciweavers

4008 search results - page 228 / 802
» An expressive language of signatures
Sort
View
TOOLS
2008
IEEE
16 years 29 days ago
Ownership, Uniqueness, and Immutability
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
Johan Östlund, Tobias Wrigstad, Dave Clarke, ...
REFSQ
2007
Springer
16 years 21 days ago
Optimal-Constraint Lexicons for Requirements Specifications
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
16 years 6 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
EMNLP
2009
15 years 4 months ago
Sentiment Analysis of Conditional Sentences
This paper studies sentiment analysis of conditional sentences. The aim is to determine whether opinions expressed on different topics in a conditional sentence are positive, nega...
Ramanathan Narayanan, Bing Liu, Alok N. Choudhary
FORTE
2004
15 years 8 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
Prasad Naldurg, Koushik Sen, Prasanna Thati