1411 search results - page 146 / 283 » Interactive Coding for Interactive Proofs |
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
PADL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Digital watermarking refers to the process of embedding a digital code into an image, video, printed document or audio media. The code should not interfere with the normal use of ...