977 search results - page 166 / 196 » Logic programming with infinite sets |
104
Voted
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
102
Voted
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
93
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
SAC
2000
ACM
15 years 4 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
96
Voted
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...