9455 search results - page 1824 / 1891 » The Modelling Language Zinc |
138
click to vote
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
In this study, we describe our system at the Intellectual Property track of the 2009 CrossLanguage Evaluation Forum campaign (CLEF-IP). The CLEF-IP track addressed prior art searc...
140
click to vote
MM
2010
ACM
15 years 1 months ago
2010
ACM
Networked virtual environments like Second Life enable distant people to meet for leisure as well as work. But users are represented through avatars controlled by keyboards and mo...
132
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
145
click to vote
CL
2008
Springer
15 years 1 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
116
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...