Sciweavers

1352 search results - page 187 / 271
» Designing Security Requirements Models Through Planning
Sort
View
DATE
2006
IEEE
157views Hardware» more  DATE 2006»
14 years 3 months ago
Modeling and simulation of mobile gateways interacting with wireless sensor networks
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
Franco Fummi, Davide Quaglia, Fabio Ricciato, Maur...
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
CAISE
2004
Springer
14 years 20 days ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...
VLDB
1990
ACM
128views Database» more  VLDB 1990»
14 years 29 days ago
Advanced Query Processing in Object Bases Using Access Support Relations
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
Alfons Kemper, Guido Moerkotte
ISCAS
2005
IEEE
141views Hardware» more  ISCAS 2005»
14 years 2 months ago
Image compression using texture modeling
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
Lahouari Ghouti, Ahmed Bouridane, Mohammad K. Ibra...