46084 search results - page 8973 / 9217 » Developments in WIS development |
ENTCS
2006
13 years 8 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...
ENTCS
2006
13 years 8 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
ENVSOFT
2006
13 years 8 months ago
2006
Our ability to numerically model natural systems has progressed enormously over the last 10e20 years. During the last decade computational power has increased to the stage where w...
ENVSOFT
2006
13 years 8 months ago
2006
Norway's second largest gas field, Ormen Lange, is located 140 km west off Kristiansund at an unprecedented depth when it comes to exploration. It will be the first Norwegian...
BMCBI
2007
13 years 8 months ago
2007
Background: In structural genomics, an important goal is the detection and classification of protein–protein interactions, given the structures of the interacting partners. We h...