7075 search results - page 367 / 1415 » Models and heterogeneous reasoning |
207
click to vote
CLADE
2003
IEEE
16 years 3 days ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
167
click to vote
CAV
2005
Springer
16 years 10 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...
180
click to vote
IAT
2005
IEEE
16 years 12 days ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
219
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
181
click to vote
SAINT
2005
IEEE
16 years 11 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...