2500 search results - page 287 / 500 » Logical Semantics of Modularisation |
158
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
142
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
184
click to vote
CCGRID
2005
IEEE
16 years 4 days 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...
160
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
177
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...