Sciweavers

1270 search results - page 224 / 254
» A Domain Specific Language to Generate Web Applications
Sort
View
127
Voted
UML
2001
Springer
15 years 4 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 4 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
184
Voted
SIGMOD
2009
ACM
148views Database» more  SIGMOD 2009»
16 years 20 days ago
Combining keyword search and forms for ad hoc querying of databases
A common criticism of database systems is that they are hard to query for users uncomfortable with a formal query language. To address this problem, form-based interfaces and keyw...
Eric Chu, Akanksha Baid, Xiaoyong Chai, AnHai Doan...
SAMOS
2005
Springer
15 years 6 months ago
Sandbridge Software Tools
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
C. John Glossner, Sean Dorward, Sanjay Jinturkar, ...
IMCSIT
2010
14 years 10 months ago
Exploratory Programming in the Virtual Laboratory
GridSpace 2 is a novel virtual laboratory framework enabling researchers to conduct virtual experiments on Gridbased resources and other HPC infrastructures. GridSpace 2 facilitate...
Eryk Ciepiela, Daniel Harezlak, Joanna Kocot, Toma...