Sciweavers

306 search results - page 18 / 62
» Towards a Generic Modeling Language for Contract-Based Desig...
Sort
View
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 4 months ago
Ontology Design for Video Semantic Threads
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
John R. Kender, Milind R. Naphade
UAI
2001
15 years 18 days ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger
ICMAS
1998
15 years 18 days ago
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
Jacques Ferber, Olivier Gutknecht
DATE
2000
IEEE
86views Hardware» more  DATE 2000»
15 years 3 months ago
System Level Design Using C++
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
Diederik Verkest, Joachim Kunkel, Frank Schirrmeis...
FSTTCS
1998
Springer
15 years 3 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak