2550 search results - page 186 / 510 » The Meaning of Open Standards |
165
click to vote
ECEASST
2008
15 years 6 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
139
click to vote
ENTCS
2006
15 years 6 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
133
click to vote
IJWBC
2006
15 years 6 months ago
2006
: The experiences with the new ICTP website, aiming to satisfy the need for a modern and appealing image, as well as provide tailored online information and services to its scienti...
183
click to vote
IJET
2007
15 years 6 months ago
2007
— The use of digital learning resources creates an increasing need for semantic metadata, describing the whole resource, as well as parts of resources. Traditionally, schemas suc...
147
click to vote
AIM
2005
15 years 6 months ago
2005
RoboCup is an international initiative with the main goals of fostering research and education in Artificial Intelligence and Robotics, as well as of promoting science and technol...