Sciweavers

901 search results - page 75 / 181
» Engineering Emergence
Sort
View
SIGADA
2004
Springer
14 years 3 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
UML
2005
Springer
14 years 3 months ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler
SIGMOD
2003
ACM
94views Database» more  SIGMOD 2003»
14 years 10 months ago
The sensor spectrum: technology, trends, and requirements
Though physical sensing instruments have long been used in astronomy, biology, and civil engineering, the recent emergence of wireless sensor networks and RFID has spurred a renai...
Joseph M. Hellerstein, Wei Hong, Samuel Madden
DAC
2006
ACM
14 years 11 months ago
Design automation for DNA self-assembled nanostructures
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
Constantin Pistol, Alvin R. Lebeck, Chris Dwyer
SIGSOFT
2003
ACM
14 years 10 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff