Sciweavers

2877 search results - page 340 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ENTCS
2008
135views more  ENTCS 2008»
15 years 6 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
JIT
2005
Springer
149views Database» more  JIT 2005»
16 years 23 hour ago
Grid Resource Ontologies and Asymmetric Resource-Correlation
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
Mumtaz Siddiqui, Thomas Fahringer, Jürgen Hof...
IWSAPF
2000
15 years 10 months ago
Software Connectors and Refinement in Family Architectures
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
Alexander Egyed, Nikunj R. Mehta, Nenad Medvidovic
BDA
2006
15 years 8 months ago
Matching Algorithms for User Notification in Digital Libraries
We consider a publish/subscribe system for digital libraries which continuously evaluates queries over a large repository containing document descriptions. The subscriptions, the ...
Hanen Belhaj Frej, Philippe Rigaux, Nicolas Spyrat...
ICCSA
2009
Springer
16 years 1 months ago
Designing Data Warehouses for Geographic OLAP Querying by Using MDA
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
Octavio Glorio, Juan Trujillo