Sciweavers

3595 search results - page 443 / 719
» Roles of Program Extension
Sort
View
CSR
2008
Springer
15 years 8 months ago
Comparing Universal Covers in Polynomial Time
The universal cover TG of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from TG to G. Universal covers h...
Jirí Fiala, Daniël Paulusma
VAMOS
2010
Springer
15 years 8 months ago
Leveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
Marcelo Oliveira Dias, Leonardo Tizzei, Ceí...
IIWAS
2008
15 years 8 months ago
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
Alessandro Oliveira Arantes, Nandamudi Lankalapall...
CLIMA
2004
15 years 8 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
IADIS
2004
15 years 8 months ago
Electronic government and social control of the state
The aim of this paper is to discourse about the utilization of electronic government as an instrument of State's social control, with the intensification of the use of inform...
Robert Willecke, Hugo Cesar Hoeschl, Marco Aur&eac...