Sciweavers

6794 search results - page 486 / 1359
» Semantics of Visual Languages
Sort
View
COMMA
2006
15 years 8 months ago
A dialectic procedure for sceptical, assumption-based argumentation
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
Phan Minh Dung, Paolo Mancarella, Francesca Toni
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 7 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
CN
2004
104views more  CN 2004»
15 years 6 months ago
On detecting feature interactions in the programmable service environment of Internet telephony
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
16 years 15 days ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 12 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman