8874 search results - page 231 / 1775 » A New Implementation of Automath |
169
click to vote
SWQD
2012
14 years 4 days ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
160
Voted
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—Counting Bloom Filters (CBFs) are widely used in networking device algorithms. They implement fast set representations to support membership queries with limited error, and supp...
143
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
271
click to vote
AAAI
2012
13 years 7 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
161
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...