Sciweavers

1142 search results - page 118 / 229
» TAST-Trademark Application Assistant
Sort
View
JSS
2008
90views more  JSS 2008»
15 years 6 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
CSCW
2002
ACM
15 years 6 months ago
Activity Theory and System Design: A View from the Trenches
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
Patricia Collins, Shilpa Shukla, David F. Redmiles
JUCS
2002
97views more  JUCS 2002»
15 years 6 months ago
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
Erich Gams, Siegfried Reich
TROB
2008
121views more  TROB 2008»
15 years 5 months ago
A Relational Positioning Methodology for Robot Task Specification and Execution
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...
Adolfo Rodriguez, Luis Basañez, Enric Celay...
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 4 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
Filip Maric, Predrag Janicic