2748 search results - page 434 / 550 » Generating Object-Z Specifications from Use Cases |
169
click to vote
ICTAI
2007
IEEE
16 years 16 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
INFOCOM
2007
IEEE
16 years 16 days ago
2007
IEEE
—New protection schemes for video on demand (VOD) in a DWDM ring network are proposed that employ information per customer. Unlike prior schemes that rely on fixed priorities, th...
164
click to vote
MODELS
2007
Springer
16 years 11 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
168
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
A novel energy reduction strategy to maximally exploit the dynamic workload variation is proposed for the offline voltage scheduling of preemptive systems. The idea is to construc...
140
click to vote
ICIAR
2005
Springer
15 years 11 months ago
2005
Springer
A method for color indexing is proposed that is based upon nonparametric statistical techniques. Nonparametrics compare the ordinal rankings of sample populations, and maintain the...