2409 search results - page 385 / 482 » Logical systems for structured specifications |
144
Voted
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
103
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
132
click to vote
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
149
Voted
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
129
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...