913 search results - page 151 / 183 » Formal Agent Development: Framework to System |
141
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
149
Voted
LREC
2008
15 years 5 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
152
Voted
DBSEC
2001
15 years 5 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
160
Voted
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
148
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...