Sciweavers

4151 search results - page 389 / 831
» Language Driven System Design
Sort
View
132
Voted
ECMDAFA
2005
Springer
151views Hardware» more  ECMDAFA 2005»
15 years 10 months ago
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
Athanasios Staikopoulos, Behzad Bordbar
OOPSLA
2005
Springer
15 years 10 months ago
CodeQuest: querying source code with datalog
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kri...
209
Voted
DANCE
2002
IEEE
15 years 10 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
ANLP
1992
148views more  ANLP 1992»
15 years 6 months ago
The ACQUILEX LKB: representation issues in semi-automatic acquisition of large lexicons
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
Ann A. Copestake
EUROPAR
2006
Springer
15 years 8 months ago
An Embedded Systems Programming Environment for C
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...
Bernd Burgstaller, Bernhard Scholz, M. Anton Ertl