3047 search results - page 356 / 610 » On the Meaning of Logical Completeness |
179
click to vote
QSIC
2005
IEEE
16 years 27 days ago
2005
IEEE
We believe that tool support is very important for any methodology. In this paper we describe PDT (Prometheus Design Tool) which supports the design of an intelligent agent system...
201
click to vote
ASM
2005
ASM
16 years 26 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
206
click to vote
CIE
2005
Springer
16 years 26 days ago
2005
Springer
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
191
click to vote
IPSN
2005
Springer
16 years 25 days ago
2005
Springer
We consider coverage problems in sensor networks of stationary nodes with minimal geometric data. In particular, there are no coordinates and no localization of nodes. We introduc...
163
click to vote
SAS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...