1700 search results - page 210 / 340 » Specifying and implementing refactorings |
142
click to vote
COSIT
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
143
click to vote
FSTTCS
2009
Springer
16 years 23 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
159
click to vote
MIDDLEWARE
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
140
click to vote
MODELS
2009
Springer
16 years 22 days ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
179
click to vote
SEMWEB
2009
Springer
16 years 22 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...