3318 search results - page 425 / 664 » The Weak Instance Model |
143
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
161
click to vote
ESAW
2007
Springer
15 years 10 months ago
2007
Springer
In the ļ¬eld of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
142
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
134
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and speciļ¬cation frameworks. A complete model-driven methodology like Hera disting...