1393 search results - page 262 / 279 » From Models to Interactive Systems Tool Support and XIML |
175
click to vote
3DGIS
2006
Springer
15 years 12 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
158
click to vote
SCS
2003
15 years 7 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
171
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
156
click to vote
DATE
2009
IEEE
16 years 18 days ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
182
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: A nanopore detector has a nanometer-scale trans-membrane channel across which a potential difference is established, resulting in an ionic current through the channel ...