Sciweavers

5904 search results - page 783 / 1181
» Requirements for a Composition Language
Sort
View
VL
2006
IEEE
158views Visual Languages» more  VL 2006»
16 years 27 days ago
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches
Parsing hand-drawn diagrams is a definitely complex recognition problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct w...
Giovanni Casella, Gennaro Costagliola, Vincenzo De...
PPPJ
2006
ACM
16 years 25 days ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
SOFTVIS
2006
ACM
16 years 25 days ago
Using social agents to visualize software scenarios
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
Thomas A. Alspaugh, Bill Tomlinson, Eric Baumer
CSFW
2005
IEEE
16 years 15 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
16 years 15 days ago
Language-based Feedback Control Using Monte Carlo Sensing
Abstract— Landmark-based graphs are a useful and parsimonious tool for representing large scale environments. Relating landmarks by means of feedback-control algorithms encoded i...
Sean B. Andersson, Dimitrios Hristu-Varsakelis