1462 search results - page 212 / 293 » Autoepistemic Description Logics |
FSEN
2009
Springer
15 years 2 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...
109
click to vote
ATAL
1995
Springer
15 years 1 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
81
Voted
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
89
Voted
IUI
2012
ACM
13 years 5 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
67
Voted
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...