Sciweavers

1259 search results - page 150 / 252
» Use Cases, Actions, and Roles
Sort
View
JAPLL
2010
141views more  JAPLL 2010»
15 years 4 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
TSE
2008
107views more  TSE 2008»
15 years 6 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
CHI
2009
ACM
16 years 6 months ago
Designing for all users: including the odd users
The field of HCI has played an important role in broadening the spectrum of users of computational artifacts. However, users with extreme preferences are mostly ignored by the des...
Jina Huh, Mark S. Ackerman
ICSE
2003
IEEE-ACM
16 years 6 months ago
The Deployer's Problem: Configuring Application Servers for Performance and Reliability
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
Mukund Raghavachari, Darrell Reimer, Robert D. Joh...
ICTIR
2009
Springer
16 years 26 days ago
A Quantum-Based Model for Interactive Information Retrieval
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
Benjamin Piwowarski, Mounia Lalmas