Results 1 to 10 of about 16,425 (239)
, 2023 Some of the next articles are maybe not open access.
Proceedings of the 1997 symposium on Software reusability - SSR '97, 1997
A data language is a declarative language that enables database users to access and manipulate data. There are families of related data languages; each family member is targeted for a particular application. Unfortunately, building compilers for such languages is largely an ad hoc process; there are no tools and design methods that allow programmers to
E. E. Villarreal, Don Batory
openaire +1 more source
A data language is a declarative language that enables database users to access and manipulate data. There are families of related data languages; each family member is targeted for a particular application. Unfortunately, building compilers for such languages is largely an ad hoc process; there are no tools and design methods that allow programmers to
E. E. Villarreal, Don Batory
openaire +1 more source
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011
We describe the various composition operations available in the Rosetta specification language, provide examples, and discuss reasoning compositionally about specified systems. Composing specifications allows for more than the usual benefits of modularity and re-use: reasoning about specifications also may rely explicitly on the nature of composition ...
Nicolas Frisby +3 more
openaire +1 more source
We describe the various composition operations available in the Rosetta specification language, provide examples, and discuss reasoning compositionally about specified systems. Composing specifications allows for more than the usual benefits of modularity and re-use: reasoning about specifications also may rely explicitly on the nature of composition ...
Nicolas Frisby +3 more
openaire +1 more source
Macromolecular Modeling with Rosetta
Annual Review of Biochemistry, 2008Advances over the past few years have begun to enable prediction and design of macromolecular structures at near-atomic accuracy. Progress has stemmed from the development of reasonably accurate and efficiently computed all-atom potential functions as well as effective conformational sampling strategies appropriate for searching a highly rugged energy
Rhiju, Das, David, Baker
openaire +2 more sources
System specification in Rosetta
Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), 2002System level specification and analysis has become a critical issue in designing today's ever increasingly complex systems. System level design is distinguished from other design activities by its heterogeneous nature. Specifically, systems level designers must integrate information from many different design domains in a single design decision making ...
Perry Alexander +2 more
openaire +1 more source
The Rosetta Lander (“Philae”) Investigations
Space Science Reviews, 2007The paper describes the Rosetta Lander named Philae and introduces its complement of scientific instruments. Philae was launched aboard the European Space Agency Rosetta spacecraft on 02 March 2004 and is expected to land and operate on the nucleus of 67P/Churyumov-Gerasimenko at a distance of about 3 AU from the Sun.
Bibring, J.-P. +19 more
openaire +4 more sources
The CONSERT instrument for the ROSETTA mission
Advances in Space Research, 1999Abstract In this paper, we describe the CONSERT experiment for the international ROSETTA mission (Verdant and Schwehm, 1998). CONSERT aims at obtaining radio images of the nucleus of comet 46P/Wirtanen by transmitting radio waves through the comet nucleus, between the Lander and the Orbiter (Kofman et al., 1998).
Barbin, Yves +6 more
openaire +5 more sources
The Rosetta Stone of Stability
Annals of the New York Academy of Sciences, 2000Abstract:A number of proposals to augment the classical theory of natural selection turn on the need to consider the role of neutral genetic modifications, as well as on the role of patterns of physicochemically stable substructures. There are similarities between this opposition and that within cognitive science, where the dynamic and computational ...
openaire +2 more sources
Milan Journal of Mathematics, 1999
The European Space Agency will launch in January 2003 a mission called “Rosetta” to visit a comet. This space-craft will rendezvous with comet Wirtanen, follow it on its way to the sun in a close orbit and observe the comet core from this position.
openaire +2 more sources
The European Space Agency will launch in January 2003 a mission called “Rosetta” to visit a comet. This space-craft will rendezvous with comet Wirtanen, follow it on its way to the sun in a close orbit and observe the comet core from this position.
openaire +2 more sources