2935 search results - page 238 / 587 » An Integrated Approach to High Integrity Software Verificati... |
180
click to vote
EDOC
2005
IEEE
16 years 8 days ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
161
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
The MT engine of the Janus speech-to-speech translation system is designed around four main principles: 1 an interlingua approach that allows the e cient addition of new languages,...
185
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
184
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
161
click to vote
MDM
2007
Springer
16 years 24 days ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...