6016 search results - page 178 / 1204 » The semantics of graphical languages |
155
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
175
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
157
click to vote
COOPIS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
146
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Current video search systems commonly return video shots as results. We believe that users may better relate to longer, semantic video units and propose a retrieval framework for n...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...