7112 search results - page 360 / 1423 » Power in normative systems |
201
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
152
click to vote
ICECCS
2005
IEEE
16 years 10 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
154
click to vote
SOCO
2005
Springer
16 years 6 days ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
174
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...
159
click to vote
IADIS
2008
15 years 8 months ago
2008
The aim of this paper is to present an evolutionary system for classification problem called GAPBNF_Rule. GAPBNF_Rule is a powerful evolutionary method that distinguishes between ...