2293 search results - page 244 / 459 » Temporal Logic in Information Systems |
168
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...
324
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
189
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
180
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous works we have presented a model to describe and simulate environment for situated multi-agent systems, that we called ELMS. Here, we present an extensions to ...
162
click to vote
IRI
2005
IEEE
16 years 7 days ago
2005
IEEE
Role-Based Access Control (RBAC) models have emerged as a leading access control approach for today’s information systems. Hybrid role hierarchies introduced in the Generalized ...