320 search results - page 26 / 64 » Model Driven Fast Prototyping: A Semantic Approach |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
CAISE
1997
Springer
13 years 12 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
CIIA
2009
13 years 8 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
MSO
2003
13 years 9 months ago
2003
The global grid model is steadily being uptaken by individuals wishing to trade in grid services. The grid was originally driven by organisations attempting to share high performa...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...