Sciweavers

489 search results - page 42 / 98
» Reasoning about confidentiality at requirements engineering ...
Sort
View
AUIC
2005
IEEE
15 years 6 months ago
The Semiotics of User Interface Redesign
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
Jennifer Ferreira, Pippin Barr, James Noble
100
Voted
JAIR
2008
130views more  JAIR 2008»
15 years 14 days ago
Axiomatic Foundations for Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz
91
Voted
ICSE
2008
IEEE-ACM
16 years 17 days ago
Effecting change: coordination in large-scale software development
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
Andrew Begel
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 6 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
AVI
2004
15 years 1 months ago
Interactive data summarization: an example application
Summarizing large multidimensional datasets is a challenging task, often requiring extensive investigation by a user to identify overall trends and important exceptions to them. W...
Neal Lesh, Michael Mitzenmacher