772 search results - page 29 / 155 » From Graph Transformation to Software Engineering and Back |
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
101
click to vote
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
We consider the isomorphism and canonization problem for 3-connected planar graphs. The problem was known to be L -hard and in UL ∩ coUL [TW08]. In this paper, we give a determin...
121
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
119
click to vote
IICAI
2007
15 years 3 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
135
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
ABSTRACT. We study the problem of space-efficient polynomial-time algorithms for directed stconnectivity (STCON). Given a directed graph G, and a pair of vertices s, t, the STCON ...