Sciweavers

4747 search results - page 196 / 950
» Application Experience with a Repository System for Informat...
Sort
View
KER
2007
90views more  KER 2007»
13 years 8 months ago
Ontology-based models in pervasive computing systems
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 9 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
SIGSOFT
2005
ACM
14 years 8 months ago
The story of moose: an agile reengineering environment
Moose is a language-independent environment for reverseand re-engineering complex software systems. Moose provides a set of services including a common meta-model, metrics evaluat...
Oscar Nierstrasz, Stéphane Ducasse, Tudor G...
ECTEL
2007
Springer
14 years 2 months ago
Organisational Learning in India - Creating the Organisational Learning Space
Indian organisations have transformed organisational learning to face multiple challenges posed by external market conditions, legal and regulatory considerations and internal fact...
Suvro Raychaudhuri
WWW
2001
ACM
14 years 8 months ago
Wireless Access to a Content Routing System
We present in this paper our experience in providing a wireless access interface to a distributed content search and delivery system. Important Wireless Application Protocol(WAP) ...
Junbiao Zhang, Remo Strotkamp