10916 search results - page 359 / 2184 » On Constructive Connectives and Systems |
139
click to vote
VL
2003
IEEE
16 years 4 days ago
2003
IEEE
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
170
click to vote
HCI
2007
15 years 8 months ago
2007
The purpose of this study is to explore how student competition using the tit-for-tat strategy could be remedied with a minimum design change in order to support student to collabo...
137
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Information systems (IS) research employs a wide range of theory, drawn from numerous disciplines. Over the course of the past three decades, the proliferation of theory has creat...
153
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
148
click to vote
CONCUR
1990
Springer
15 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...