Back to Results
First PageMeta Content
Computer hardware / Aquatic communities in the British National Vegetation Classification system / MOS Technology Agnus / Motorways of Switzerland / Aggregate / Rete algorithm


Verifying resource requirements for distributed rule-based systems Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk
Add to Reading List

Document Date: 2009-09-11 12:40:28

Open Document

File Size: 124,86 KB

Share Result on Facebook

City

Rajamani / Introduction Rule / /

Company

RBS / Brodsky / MIT Press / Multiagent Systems / /

/

Facility

University of Nottingham / /

IndustryTerm

application developer / knowledge-based systems / individual rule-based systems / sensor networks / multi-agent systems / semantic web / isolated systems / studied expert and diagnostic systems / obvious solution / Rule-based systems / semantic web application / model-checking technology / software systems / distributed rule-based systems / sensor network / mobile device / /

Organization

University of Nottingham / Nottingham / Artificial Intelligence for Applications / MIT / Engineering and Physical Sciences Research Council / /

Person

Cheng / Natasha Alechina / Chen / Brian Logan / Nguyen Hoang Nga / Abdur Rakib / /

Product

Mocha / /

ProgrammingLanguage

OPS5 / /

ProvinceOrState

S.K. / New Hampshire / /

Technology

model-checking technology / artificial intelligence / CAV / mobile device / PDA / /

SocialTag