2558 search results - page 260 / 512 » Model Composition Contracts |
187
click to vote
EJC
2003
15 years 8 months ago
2003
We describe here our ongoing research on modeling conceptual and narrative structure of fairytales by a computer system. In this paper we focus on the variations of fairytales base...
200
click to vote
AAAI
1994
15 years 8 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
186
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
166
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of efficient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ...
184
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...