1167 search results - page 32 / 234 » A Really Temporal Logic |
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We investigate the temporal implications of information technology by examining its use in the work practices of physicians and nurses in an emergency department. We conceptualize...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
TIME
2003
IEEE
14 years 26 days ago
2003
IEEE
