Sciweavers

374 search results - page 52 / 75
» Towards Translating Graph Transformation Approaches by Model...
Sort
View
146
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 5 months ago
Towards a Model-driven Development of Monitored Processes
An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented...
Christof Momm, Robert Malec, Sebastian Abeck
CASE
2011
102views more  CASE 2011»
14 years 3 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 5 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
125
Voted
APVIS
2004
15 years 5 months ago
Inhomogeneous Force-Directed Layout Algorithms in the Visualisation Pipeline: From Layouts to Visualisations
The visualisation pipeline approach is a flexible and extensible technique for generating visualisations. The basic pipeline functions involve the capture and representation of da...
Neville Churcher, Warwick Irwin, Carl Cook
I3E
2003
100views Business» more  I3E 2003»
15 years 5 months ago
Use of Models and Modelling Techniques for Service Development
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
Luís Ferreira Pires, Marten van Sinderen, C...