5113 search results - page 886 / 1023 » Model-integrated system development: models, architecture, a... |
232
click to vote
ICSNW
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
186
click to vote
IJVR
2008
15 years 6 months ago
2008
The Web3D technologies make it possible to create Collaborative Virtual Environment (CVE) in the popular Internet, thus promoting the popularity of CVE scientific applications to b...
158
click to vote
CODES
2005
IEEE
16 years 20 hour ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
170
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
231
click to vote
IBMRD
2011
15 years 1 months ago
2011
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...