2293 search results - page 57 / 459 » Temporal Logic in Information Systems |
147
click to vote
MHCI
2009
Springer
16 years 25 days ago
2009
Springer
An approach to providing tangible feedback to users of a mobile device in both highly visual touchscreen-based and eyes-free interaction scenarios and the transition between the t...
198
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
165
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
188
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...
168
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
The objective of this paper is to suggest a systematic means by which the timing and focus of information technology policies can be used to optimize supply chain performance and ...