3013 search results - page 494 / 603 » Context-Oriented Domain Analysis |
89
Voted
LICS
2005
IEEE
15 years 6 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â€...
125
click to vote
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
82
Voted
APGV
2005
ACM
15 years 6 months ago
2005
ACM
How different are two images when viewed by a human observer? Such knowledge is needed in many situations including when one has to judge the degree to which a graphics representa...
80
Voted
JCDL
2005
ACM
15 years 6 months ago
2005
ACM
The temporal elements of users’ information requirements are a continually confounding aspect of digital library design. No sooner have users’ needs been identified and suppor...
114
click to vote
MIR
2005
ACM
15 years 6 months ago
2005
ACM
Multimedia meeting collections, composed of unedited audio and video streams, handwritten notes, slides, and electronic documents that jointly constitute a raw record of complex h...