3483 search results - page 111 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
The work in this paper analyses the applicability of carbon nanotube (CNT) bundles as interconnects for VLSI circuits, while taking into account the practical limitations in this ...
EWCBR
2004
Springer
15 years 6 months ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
139
click to vote
FMICS
2010
Springer
15 years 27 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
130
Voted
CSB
2005
IEEE
15 years 2 months ago
2005
IEEE
In our effort to elucidate the systems biology of the model organism, Escherichia coli, we have developed a mathematical model that simulates the allosteric regulation for threoni...
102
Voted
IV
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe a virtual reality widget library and two medical applications. These applications, built on the widget library, make use of collaborative interaction techniques. These...