4520 search results - page 566 / 904 » Algebraic Techniques for Timed Systems |
161
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Software engineering data (such as code bases, execution traces, historical code changes, mailing lists, and bug databases) contains a wealth of information about a project's...
176
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Reverberant speech can be described as sounding distant with noticeable coloration and echo. These detrimental perceptual effects are caused by early and late reflections, respec...
141
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a new interaction technique that allows users to control nonlinear video playback by directly manipulating objects seen in the video. This interaction technique is sim...
189
click to vote
VRST
2006
ACM
16 years 23 days ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
175
click to vote
ERLANG
2004
ACM
16 years 7 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...