963 search results - page 146 / 193 » $M$-Solid Varieties of Languages |
E4MAS
2004
Springer
14 years 2 months ago
2004
Springer
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...
ISSAC
2004
Springer
14 years 2 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
PET
2004
Springer
14 years 2 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Service-based distributed computing as a mode of resource sharing is receiving increased attention, motivated both by enterprise applications and by standardization efforts in the...