3828 search results - page 662 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
100
Voted
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
121
Voted
IWPC
2007
IEEE
15 years 8 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
112
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
184
click to vote
HCI
2009
15 years 5 days ago
2009
: 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...