1364 search results - page 177 / 273 » Comparative Branching-Time Semantics |
120
Voted
AIS
2006
Springer
15 years 3 months ago
2006
Springer
The regulative and semantic `distance' of electronic conferencing may impede the topical alignment and the unambiguous interpretation of messages, hindering collaborative lear...
117
click to vote
ENTCS
2008
15 years 3 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
142
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Data mining allows the exploration of sequences of phenomena, whereas one usually tends to focus on isolated phenomena or on the relation between two phenomena. It offers invaluab...
122
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
128
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...