1413 search results - page 150 / 283 » Bisimilarity of Open Terms |
145
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
166
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
166
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
186
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
136
click to vote
WISE
2007
Springer
16 years 25 days ago
2007
Springer
There is an increasing tendency for Web applications to open their data silos and make them available through APIs and RSS-based mechanisms. This permits third parties to tap on th...