Sciweavers

1236 search results - page 96 / 248
» The Role of Time in Engineering Computer Music Systems
Sort
View
126
Voted
BCSHCI
2008
15 years 5 months ago
Workshop HCI for medicine and health care (HCI4MED)
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...
Andreas Holzinger, Harold W. Thimbleby, Russell Be...
ISSTA
2009
ACM
15 years 8 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
129
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 7 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ICESS
2005
Springer
15 years 9 months ago
Semantic Web Based Knowledge Searching System in Mobile Environment
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
Dae-Keun Si, Yang-Seung Jeon, Jong-Ok Choi, Young-...
ICSM
2007
IEEE
15 years 10 months ago
Mining the Lexicon Used by Programmers during Sofware Evolution
Identifiers represent an important source of information for programmers understanding and maintaining a system. Self-documenting identifiers reduce the time and effort necessa...
Giuliano Antoniol, Yann-Gaël Guéh&eacu...