3013 search results - page 494 / 603 » Context-Oriented Domain Analysis |
162
click to vote
LICS
2005
IEEE
16 years 1 days 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â€...
189
click to vote
AOSD
2005
ACM
16 years 13 hour ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
149
click to vote
APGV
2005
ACM
16 years 13 hour 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...
134
click to vote
JCDL
2005
ACM
16 years 11 hour 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...
185
click to vote
MIR
2005
ACM
16 years 10 hour 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...