36320 search results - page 618 / 7264 » From Code to Models |
218
click to vote
ENTCS
2006
15 years 7 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
166
click to vote
CPHYSICS
2004
15 years 7 months ago
2004
A new numerical code is developed to assist the interpretation of experimental results from the Versatile Toroidal Facility (VTF) magnetic reconnection experiment. As input the co...
171
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
202
click to vote
STEP
2003
IEEE
16 years 12 days ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
201
click to vote
ADHOC
2008
15 years 7 months ago
2008
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...