4212 search results - page 610 / 843 » Rights Expression Languages |
151
click to vote
APLAS
2006
ACM
16 years 15 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
181
click to vote
SACMAT
2006
ACM
16 years 15 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
176
click to vote
EEE
2005
IEEE
16 years 4 days ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
181
click to vote
ICITA
2005
IEEE
16 years 4 days ago
2005
IEEE
Within the emergent Semantic Web framework, the use of traditional web search engines based on keywords provided by the users is not adequate anymore. Instead, new methods based o...
195
click to vote
ICSM
2005
IEEE
16 years 4 days ago
2005
IEEE
IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as a...