2092 search results - page 267 / 419 » A domain specific modeling language for multiagent systems |
217
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
165
Voted
AI
2001
Springer
15 years 10 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
181
Voted
CAV
2005
Springer
16 years 17 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
175
Voted
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
206
Voted
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...