851 search results - page 46 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
129
click to vote
PAKM
2004
15 years 4 months ago
2004
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
138
click to vote
ASE
1999
15 years 2 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...
110
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
In times of disaster acquiring aerial images is challenging. Runways may be crippled thus denying conventional aircraft in the area from taking off. Also the time required to sch...
120
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
164
click to vote
INTEGRATION
2008
15 years 3 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...