Search Sciweavers | Sciweavers

22

FIW
2007

133views Communications» more FIW 2007»

Conflict Detection in Call Control Using First-Order Logic Model Checking

13 years 10 months ago

Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...

Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...

claim paper

Read More »

31

click to vote

SIGMOD
2010
ACM

239views Database» more SIGMOD 2010»

Call to order: a hierarchical browsing approach to eliciting users' preference

13 years 8 months ago

Download www.comp.nus.edu.sg

Computing preference queries has received a lot of attention in the database community. It is common that the user is unsure of his/her preference, so care must be taken to elicit...

Feng Zhao, Gautam Das, Kian-Lee Tan, Anthony K. H....

claim paper

Read More »

28

click to vote

IMCSIT
2010

126views Information Technology» more IMCSIT 2010»

German subordinate clause word order in dialogue-based CALL.

13 years 6 months ago

Download proceedings2010.imcsit.org

We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...

Magdalena Wolska, Sabrina Wilske

claim paper

Read More »

28

click to vote

APSEC
2005
IEEE

158views Software Engineering» more APSEC 2005»

Call-Ordering Constraints

14 years 2 months ago

Download www.csse.monash.edu.au

Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...

Nam Tran, David Abramson, Christine Mingins

claim paper

Read More »

21

click to vote

PODS
1993
ACM

102views Database» more PODS 1993»

A Call to Order

14 years 18 days ago

Download www.ci.rancho-cucamonga.ca.us

David Maier, Bennet Vance

claim paper