5 search results - page 1 / 1 » On the Completeness of Context-Sensitive Order-Sorted Specif... |
RTA
2007
Springer
14 years 5 months ago
2007
Springer
CADE
2006
Springer
14 years 2 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
FGCN
2008
IEEE
14 years 5 months ago
2008
IEEE
In a smart building environment nomadic users can benefit from specialised contextsensitive services. These can increase productivity and offer an improved lifestyle for users. Th...
KDD
2004
ACM
14 years 11 months ago
2004
ACM
Abstract. We present a Context Ultra-Sensitive Approach based on two-step Recommender systems (CUSA-2step-Rec). Our approach relies on a committee of profile-specific neural networ...
WWW
2003
ACM
14 years 11 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...