4008 search results - page 574 / 802 » An expressive language of signatures |
182
click to vote
SACMAT
2006
ACM
16 years 16 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 6 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...
182
click to vote
ICITA
2005
IEEE
16 years 6 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 5 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...
155
click to vote
ITCC
2005
IEEE
16 years 5 days ago
2005
IEEE
The paper mainly discusses the DRM-enabled learning object model. Firstly, it analyses the art-of-status of Intellectual Property Rights in e-learning. Secondly, according to appl...