Sciweavers

1438 search results - page 80 / 288
» Relational aspects as tracematches
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
HCI
2009
15 years 4 months ago
Study of Feature Values for Subjective Classification of Music
: In this research, we analyze how the sound and music relate to humans from the aspect of Kansei engineering. We analyze what features of the sound humans pay attention and how hu...
Masashi Murakami, Toshikazu Kato
ICWE
2009
Springer
15 years 4 months ago
Fine-Grained Analysis of Web Tasks through Data Visualization
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
Gennaro Costagliola, Vittorio Fuccella
ICWSM
2009
15 years 4 months ago
CourseRank: A Closed-Community Social System through the Magnifying Glass
Social sites are extremely popular among users but user interactions in most sites revolve around relatively simple tasks, such as uploading resources, tagging and poking friends....
Georgia Koutrika, Benjamin Bercovitz, Filip Kalisz...
ISQED
2011
IEEE
309views Hardware» more  ISQED 2011»
14 years 10 months ago
Modeling and analyzing NBTI in the presence of Process Variation
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
Taniya Siddiqua, Sudhanva Gurumurthi, Mircea R. St...