2293 search results - page 169 / 459 » Temporal Logic in Information Systems |
210
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
193
click to vote
FSS
2010
15 years 4 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
158
click to vote
DKE
2002
15 years 6 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
194
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
The concept of ‘mobility’ as it is conceptualized in mobile HCI is scrutinized in this paper. The currently applied understanding is often limited to perceiving mobility as co...
202
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...