Sciweavers

9730 search results - page 438 / 1946
» Relating models of backtracking
Sort
View
FAST
2009
15 years 4 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
HCI
2009
15 years 4 months ago
Incorporating Cognitive Aspects in Digital Human Modeling
To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is ...
Peter Thorvald, Dan Högberg, Keith Case
RE
2010
Springer
15 years 1 months ago
Dealing with Non-Functional Requirements in Model-Driven Development
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
David Ameller, Xavier Franch, Jordi Cabot
VLUDS
2010
163views Visualization» more  VLUDS 2010»
15 years 1 months ago
Modeling and visualizing urban sprawl and carbon footprints in Phoenix metropolitan area
Urban planners are dealing with problems of urban sprawl and CO2 emissions. The multidimensional character of these phenomena requires new analysis and visualization tools that ar...
Sebastian Petsch, Subhrajit Guhathakurta, Hans Hag...
ICASSP
2011
IEEE
14 years 10 months ago
Temporal hysteresis model of time varying subjective video quality
Video quality assessment (QA) continues to be an important area of research due to the overwhelming number of applications where videos are delivered to humans. In particular, the...
Kalpana Seshadrinathan, Alan C. Bovik