2859 search results - page 393 / 572 » A Programming Environment for Bousi-Prolog |
162
click to vote
SRDS
2007
IEEE
16 years 23 days ago
2007
IEEE
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
159
click to vote
TASE
2007
IEEE
16 years 23 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
146
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
202
click to vote
ARGMAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
176
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...