5 search results - page 1 / 1 » On the Completeness of Context-Sensitive Order-Sorted Specif... |
RTA
2007
Springer
13 years 11 months ago
2007
Springer
CADE
2006
Springer
13 years 9 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
13 years 11 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 5 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 6 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...