1541 search results - page 148 / 309 » Tools and Techniques for Model Checking Networked Programs |
156
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
135
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...
155
click to vote
CC
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...