2748 search results - page 434 / 550 » Generating Object-Z Specifications from Use Cases |
130
Voted
ICTAI
2007
IEEE
15 years 10 months 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...
73
Voted
INFOCOM
2007
IEEE
15 years 10 months 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...
117
Voted
MODELS
2007
Springer
15 years 9 months 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...
139
Voted
DATE
2005
IEEE
15 years 9 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...
107
Voted
ICIAR
2005
Springer
15 years 9 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...