1459 search results - page 48 / 292 » Tool Supported Development of Service-Based Systems |
124
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
EDUTAINMENT
2007
Springer
15 years 6 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
114
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
109
click to vote
CBMS
2008
IEEE
15 years 1 months ago
2008
IEEE
The Gene Ontology Consortium built the Gene Ontology database (GO) to address the need for a common standard in naming genes and gene products. Using different names for the same ...
132
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...